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>