newsLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News

 
 
Show feedback again
Print summaries for the latest news.

Latest News Approved - With Summaries
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.

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.

version 1.6.0 released
     posted by slawekk, Sat 29 Sep 2007 04:26:06 PM UTC - 0 replies

The material added in version 1.6.0 is mostly about finite sequences (a.k.a. lists) and operations on them: concatenation, appending an element, discarding the first or last element and folding with a binary operation. This last notion is studied in the new Semigroup_ZF.thy theory where we prove some properties of products of finite sequences of semigroup elements.

version 1.5.0 released
     posted by slawekk, Mon 16 Jul 2007 05:28:02 PM UTC - 0 replies

Added some material on sequences defined by induction and about a 100 translated Metamath proofs. The parser for Metamath ZF formulas has been rewritten and is based on Parsec now.


Older News Approved
download problems posted by slawekk, Thu 19 Apr 2007 06:39:51 PM UTC - 0 replies
version 1.4.0 released posted by slawekk, Fri 30 Mar 2007 11:44:29 PM UTC - 0 replies
version 1.3.0 released posted by slawekk, Mon 04 Dec 2006 05:47:37 PM UTC - 0 replies
version 1.2.0 released posted by slawekk, Mon 23 Oct 2006 02:36:48 AM UTC - 0 replies
version 1.1.0 released posted by slawekk, Mon 02 Oct 2006 04:09:33 AM UTC - 0 replies
version 1.0.0 released posted by slawekk, Thu 20 Jul 2006 09:19:30 PM UTC - 0 replies
version 0.14.0 released posted by slawekk, Tue 06 Jun 2006 08:07:44 PM UTC - 0 replies
version 0.13.0 released posted by slawekk, Fri 10 Mar 2006 11:43:18 PM UTC - 0 replies
version 0.12.0 released posted by slawekk, Thu 02 Feb 2006 05:04:19 PM UTC - 0 replies
version 0.11.0 released posted by slawekk, Fri 13 Jan 2006 06:27:10 PM UTC - 0 replies
version 0.10.0 released posted by slawekk, Tue 06 Dec 2005 12:14:33 AM UTC - 0 replies
version 0.9.0 released posted by slawekk, Wed 23 Nov 2005 11:29:16 PM UTC - 0 replies
version 0.8.0 released posted by slawekk, Fri 07 Oct 2005 11:16:56 PM UTC - 0 replies
version 0.7.0 released posted by slawekk, Wed 05 Oct 2005 04:39:42 PM UTC - 0 replies
version 0.6.0 released posted by slawekk, Mon 26 Sep 2005 08:12:45 PM UTC - 0 replies
version 0.5.0 released posted by slawekk, Fri 09 Sep 2005 08:03:51 PM UTC - 0 replies
version 0.4.0 released posted by slawekk, Tue 23 Aug 2005 06:22:49 PM UTC - 0 replies
version 0.3.0 released posted by slawekk, Fri 05 Aug 2005 09:22:48 PM UTC - 0 replies
Version 0.2.0 released posted by slawekk, Mon 13 Jun 2005 07:32:33 PM UTC - 0 replies
version 0.1.0 released posted by slawekk, Tue 10 May 2005 08:49:13 PM UTC - 0 replies
[Submit News]
[30 news in archive]
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup