Moster Release 0.02.01

We provide a new release of *Hilbert II*. With this release you can formalize a great deal of set theory. This was already done with the script http://www.qedeq.org/current/doc/math/qedeq_set_theory_v1_en.pdf

Posted by Michael Meyling 2006-10-22

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks