|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.|
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.|