newsLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News: version 0.1.0 released

 
 
Show feedback again
Latest News
Version 1.7.4 released posted by slawekk, Wed 27 Jun 2012 05:38:06 PM UTC - 0 replies
IsarMathLib version 1.7.2 released posted by slawekk, Sat 23 Jul 2011 06:42:09 PM UTC - 0 replies
Version 1.7.1 released posted by slawekk, Mon 09 May 2011 12:55:19 PM UTC - 0 replies
Version 1.7.0 released posted by slawekk, Sun 13 Feb 2011 09:44:08 AM UTC - 0 replies
version 1.6.9 released posted by slawekk, Tue 30 Jun 2009 08:49:33 PM UTC - 0 replies
[Submit News]
[34 news in archive]

version 0.1.0 released

Item posted by Slawomir Kolodynski <slawekk> on Tue 10 May 2005 08:49:13 PM UTC.

The new stuff in this version is mostly related to the ongoing real numbers construction. We got to the point where we show that what will be the set of real numbers forms a group with respect to the operation that will become the addition.

Comments:

No messages in version 0.1.0 released

 

Show feedback again

Back to the top


Powered by Savane 3.1-cleanup