mainLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Summary

 
 
Show feedback again
Membership Info
Project Admin:
2 active members

Group identification
Id: #7455
System Name: isarmathlib
Name: Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
Group Type: non-GNU software & documentation

Search in this Group

in
   

This project is not part of the GNU Project.

The goal of the project is to create a library of formalized mathematics, similar to the Mizar Mathematical Library, but written for the Isabelle/Isar theorem prover (ZF logic).

Registration Date: Wed 23 Mar 2005 11:45:13 PM UTC
License: Modified BSD License
Development Status: 4 - Beta

 

Latest News 
version 1.6.9 released
     posted by slawekk, Tue 30 Jun 2009 08:49:33 PM UTC - 0 replies

This version adds a theory on topological groups.

version 1.6.7 released
     posted by slawekk, Wed 18 Feb 2009 01:33:17 AM UTC - 0 replies

This version contains a tool that parses IsarMathLib theories (except those translated form Metamath) and produces HTML files for web presentation. All IsarMathLib theories are now presented on the FomalMath.org site. There is no new formalized mathematics in this release.

version 1.6.6 released
     posted by slawekk, Thu 18 Dec 2008 11:15:07 PM UTC - 0 replies

About 50 new theorems, mostly related to folding commutative semigroup operations over finite sets.

version 1.6.5 released
     posted by slawekk, Mon 22 Sep 2008 01:01:30 AM UTC - 0 replies

This version adds about 50 new facts leading to the theorem that every two linearly ordered finite sets are order isomorphic and the isomorphism is unique.


[Submit News]
[30 news in archive]
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup