Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News
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.
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.
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.
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.
posted by slawekk, Tue 30 Jun 2009 08:49:33 PM UTC - 0 replies
This version adds a theory on topological groups.
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.
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.
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.
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.
[Submit News]
[34 news in archive]


