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.4 released
     posted by slawekk, Sat 28 Jun 2008 09:15:48 PM UTC - 0 replies

This version updates IsarMathLib to Isabelle 2008. Two theories on direct product and order on natural numbers have been added. This version of IsarMathLib distribution contains the source of tiddlyisar - the tool for generating TiddlyWiki markup from IsarMathLib theories.

version 1.6.3 released
     posted by slawekk, Tue 15 Apr 2008 12:38:56 AM UTC - 0 replies

This version is a small update to synchronize with the Tiddly Formal Math Site.

version 1.6.2 released
     posted by slawekk, Mon 31 Dec 2007 12:28:27 AM UTC - 0 replies

IsarMathLib has been updated to Isabelle 2007. Added a new theory file Fold_ZF.thy about folding lists in set theory and rewrote the Semgroup_ZF.thy to be based on Fold_ZF.

version 1.6.1 released
     posted by slawekk, Mon 29 Oct 2007 01:46:13 AM UTC - 0 replies

This release is a small update to synchronize with the Formalized Mathematics blog.


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

Back to the top


Powered by Savane 3.1-cleanup