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