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

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