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

 
 
Latest News
Version 1.9.4 released posted by slawekk, Sat 12 Mar 2016 11:21:34 AM UTC - 0 replies
Version 1.9.2 released posted by slawekk, Mon 20 Oct 2014 06:36:14 PM UTC - 0 replies
Version 1.9.0 released posted by slawekk, Mon 22 Jul 2013 05:14:22 PM UTC - 0 replies
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
[Submit News]
[37 news in archive]

Version 0.2.0 released

Item posted by Slawomir Kolodynski <slawekk> on Mon 13 Jun 2005 07:32:33 PM UTC.

Some group theory needed for the construction of real numbers has been added: new sections on lifting group structures to a function space, equivalence relations on groups, normal subgroups and quotient grups, group valued finite range functions and almost homomorphisms.

No messages in Version 0.2.0 released

 

Back to the top


Powered by Savane 3.3