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

 
 
Print summaries for the latest news.

Latest News Approved - With Summaries
Version 1.9.4 released
     posted by slawekk, Sat Mar 12 11:21:34 2016 - 0 replies

This version updates IsarMathLib for Isabelle2016.

Version 1.9.2 released
     posted by slawekk, Mon Oct 20 18:36:14 2014 - 0 replies

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

Version 1.9.0 released
     posted by slawekk, Mon Jul 22 17:14:22 2013 - 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 Jun 27 17:38:06 2012 - 0 replies

A new Topology_ZF_3 theory about product topologies has been added.

IsarMathLib version 1.7.2 released
     posted by slawekk, Sat Jul 23 18:42:09 2011 - 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 May 9 12:55:19 2011 - 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 Feb 13 09:44:08 2011 - 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 Jun 30 20:49:33 2009 - 0 replies

This version adds a theory on topological groups.

version 1.6.7 released
     posted by slawekk, Wed Feb 18 01:33:17 2009 - 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 Dec 18 23:15:07 2008 - 0 replies

About 50 new theorems, mostly related to folding commutative semigroup operations over finite sets.


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

Back to the top


Powered by Savane 3.1-cleanup