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

 
 
Show feedback again
Membership Info
Project Admin:
2 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: Wednesday 03/23/2005 at 23:45 UTC
License: Modified BSD License
Development Status: 4 - Beta

 

Latest News 
version 1.6.4 released
     posted by slawekk, Saturday 06/28/2008 at 21:15 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, Tuesday 04/15/2008 at 00:38 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, Monday 12/31/2007 at 00:28 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, Monday 10/29/2007 at 01:46 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