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

 
 
Show details for the latest news.

Latest News Approved
Move to GitHub
     posted by slawekk, Tue 05 May 2020 04:25:05 PM UTC

Starting from version 1.12.0 (May 2020) IsarMathLib development has moved to its GitHub repository at https://github.com/SKolodynski/IsarMathLib.

Version 1.9.4 released
     posted by slawekk, Sat 12 Mar 2016 11:21:34 AM UTC

This version updates IsarMathLib for Isabelle2016.

Version 1.9.2 released
     posted by slawekk, Mon 20 Oct 2014 06:36:14 PM UTC

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

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

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

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

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

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

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

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.


Older News Approved
version 1.6.6 released posted by slawekk, Thu 18 Dec 2008 11:15:07 PM UTC
version 1.6.5 released posted by slawekk, Mon 22 Sep 2008 01:01:30 AM UTC
version 1.6.4 released posted by slawekk, Sat 28 Jun 2008 09:15:48 PM UTC
version 1.6.3 released posted by slawekk, Tue 15 Apr 2008 12:38:56 AM UTC
version 1.6.2 released posted by slawekk, Mon 31 Dec 2007 12:28:27 AM UTC
version 1.6.1 released posted by slawekk, Mon 29 Oct 2007 01:46:13 AM UTC
version 1.6.0 released posted by slawekk, Sat 29 Sep 2007 04:26:06 PM UTC
version 1.5.0 released posted by slawekk, Mon 16 Jul 2007 05:28:02 PM UTC
download problems posted by slawekk, Thu 19 Apr 2007 06:39:51 PM UTC
version 1.4.0 released posted by slawekk, Fri 30 Mar 2007 11:44:29 PM UTC
version 1.3.0 released posted by slawekk, Mon 04 Dec 2006 05:47:37 PM UTC
version 1.2.0 released posted by slawekk, Mon 23 Oct 2006 02:36:48 AM UTC
version 1.1.0 released posted by slawekk, Mon 02 Oct 2006 04:09:33 AM UTC
version 1.0.0 released posted by slawekk, Thu 20 Jul 2006 09:19:30 PM UTC
version 0.14.0 released posted by slawekk, Tue 06 Jun 2006 08:07:44 PM UTC
version 0.13.0 released posted by slawekk, Fri 10 Mar 2006 11:43:18 PM UTC
version 0.12.0 released posted by slawekk, Thu 02 Feb 2006 05:04:19 PM UTC
version 0.11.0 released posted by slawekk, Fri 13 Jan 2006 06:27:10 PM UTC
version 0.10.0 released posted by slawekk, Tue 06 Dec 2005 12:14:33 AM UTC
version 0.9.0 released posted by slawekk, Wed 23 Nov 2005 11:29:16 PM UTC
version 0.8.0 released posted by slawekk, Fri 07 Oct 2005 11:16:56 PM UTC
version 0.7.0 released posted by slawekk, Wed 05 Oct 2005 04:39:42 PM UTC
version 0.6.0 released posted by slawekk, Mon 26 Sep 2005 08:12:45 PM UTC
version 0.5.0 released posted by slawekk, Fri 09 Sep 2005 08:03:51 PM UTC
version 0.4.0 released posted by slawekk, Tue 23 Aug 2005 06:22:49 PM UTC
version 0.3.0 released posted by slawekk, Fri 05 Aug 2005 09:22:48 PM UTC
Version 0.2.0 released posted by slawekk, Mon 13 Jun 2005 07:32:33 PM UTC
version 0.1.0 released posted by slawekk, Tue 10 May 2005 08:49:13 PM UTC

Back to the top

Powered by Savane 3.12.
Corresponding source code