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

 
 
Latest News
Version 1.9.4 released posted by slawekk, Sat Mar 12 11:21:34 2016 - 0 replies
Version 1.9.2 released posted by slawekk, Mon Oct 20 18:36:14 2014 - 0 replies
Version 1.9.0 released posted by slawekk, Mon Jul 22 17:14:22 2013 - 0 replies
Version 1.7.4 released posted by slawekk, Wed Jun 27 17:38:06 2012 - 0 replies
IsarMathLib version 1.7.2 released posted by slawekk, Sat Jul 23 18:42:09 2011 - 0 replies
[Submit News]
[37 news in archive]

version 0.1.0 released

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

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

 

Back to the top


Powered by Savane 3.1-cleanup