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

 
 
Print summaries for the latest news.

Latest News Approved - With Summaries
Version 1.9.2 released
     posted by slawekk, Mon 20 Oct 2014 06:36:14 PM UTC - 0 replies

This is a maintenance release to update the project for Isabelle 2014.

Version 1.9.0 released
     posted by slawekk, Mon 22 Jul 2013 05:14:22 PM UTC - 0 replies

10 new theory files with 155 new theorems have been contributed by Daniel de la Concepción Sáez. The first theory contributed by Daniel, Topology_ZF_4 (included in the 1.8.0 release) is now presented on isarmathlib.org

Version 1.7.4 released
     posted by slawekk, Wed 27 Jun 2012 05:38:06 PM UTC - 0 replies

A new Topology_ZF_3 theory about product topologies has been added.

IsarMathLib version 1.7.2 released
     posted by slawekk, Sat 23 Jul 2011 06:42:09 PM UTC - 0 replies

I released version 1.7.2. It adds about 50 lemmas mostly in group theory and topology, leading to a characterization of closure in topological groups in terms of neighborhoods of zero.

Version 1.7.1 released
     posted by slawekk, Mon 09 May 2011 12:55:19 PM UTC - 0 replies

A couple of theorems in topology and algebra added, leading to some amusing conclusions about the empty set.

Version 1.7.0 released
     posted by slawekk, Sun 13 Feb 2011 09:44:08 AM UTC - 0 replies

I released version 1.7.0 of IsarMathLib. This version adds formalized mathematics contributed by Victor Porton, see theories Generalization_ZF.thy and NatGenIntEx_ZF.thy.

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.


Older News Approved
version 1.6.4 released posted by slawekk, Sat 28 Jun 2008 09:15:48 PM UTC - 0 replies
version 1.6.3 released posted by slawekk, Tue 15 Apr 2008 12:38:56 AM UTC - 0 replies
version 1.6.2 released posted by slawekk, Mon 31 Dec 2007 12:28:27 AM UTC - 0 replies
version 1.6.1 released posted by slawekk, Mon 29 Oct 2007 01:46:13 AM UTC - 0 replies
version 1.6.0 released posted by slawekk, Sat 29 Sep 2007 04:26:06 PM UTC - 0 replies
version 1.5.0 released posted by slawekk, Mon 16 Jul 2007 05:28:02 PM UTC - 0 replies
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]
[36 news in archive]

Back to the top


Powered by Savane 3.1-cleanup