ICProver: intercalation calculus theorem prover

About ICProver is an automated theorem prover. It works in propositional classical and intuitionistic logic. The search is performed using an implementation of the intercalation calculus, a formalism similar to the sequent calculus.
Authors Douglas P Perkins (douglaspperkins residing at the gmail dot com site).
Installation There is no installation. Download and run.
Getting Mercurial repository.
Project package page.
Supported platforms The code is written in OCaml, which runs on most common platforms. You might have to install OCaml, though. There are some sh scripts which are supported by default in *nix, and if you're using Windows you could install Cygwin and use them.
Sourceforge Sourceforge project page
License GNU General Public License 3.
Hosted by: SourceForge.net Logo