newsLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News

 
 

version 0.13.0 released

Item posted by Slawomir Kolodynski <slawekk> on Fri 10 Mar 2006 11:43:18 PM UTC.

129 new facts and definitions have been added, bringing the total to about 850. The high point of this release is a theorem that real numbers form an ordered ring with no zero divisors.

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code