[FOM] Zermelo Proof Checker

Jeremy Bem jeremybem at ymail.com
Wed Jan 25 15:20:36 EST 2012


I would like to announce a new proof assistant called the Zermelo Proof Checker. It is based on standard foundations and is available online at http://zermelo.org/.

Thank you,
Jeremy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120125/850166d0/attachment.html>


More information about the FOM mailing list