On 25 Jan 2012, at 20:21, Jeremy Bem wrote:
> I would like to announce a new proof assistant called the Zermelo Proof
> Checker. It features a type system similar to the one of HOL, but is based on
> standard foundations. It is available online at http://zermelo.org/.
That's very interesting. You imply that HOL is "non-standard" in some sense.
What non-standardness did you have in mind?
Regards,
Rob.
------------------------------------------------------------------------------
Keep Your Developer Skills Current with LearnDevNow!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-d2d
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
