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

 
 

version 0.7.0 released

Item posted by Slawomir Kolodynski <slawekk> on Wed 05 Oct 2005 04:39:42 PM UTC.

Theorems about maximum and minimum of a set and slopes (integer almost homomorphisms) have been added. This is the last release of IsarMathLib based on Isabelle 2004. The next release will require Isabelle 2005.

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code