Zermelo Proof Checker
The Zermelo Proof Checker (ZPC) is a lightweight proof assistant based on standard set theory and Hindley-Milner type theory.
[ Homepage ]
| Author: | Jeremy Bem. |
| Last modification date: | 26-Jan-2012 |
| Version: | 1.0 |
| Development status: | Stable |
| Kind: | Applications written in Caml :: Scientific software |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://zermelo.org |