Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - Summary
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
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.
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.
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.
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]


