PrIKL

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

[[PrIKL]] is a automatic theorem prover for IKL.

... (details coming!)