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: Wed 23 Mar 2005 11:45:13 PM UTC
License: Modified BSD License
Development Status: 4 - Beta
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.
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.
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.
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]


