Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News: version 1.6.7 released
Show feedback again
Latest News
Version 1.7.4 released posted by slawekk, Wed 27 Jun 2012 05:38:06 PM UTC - 0 replies
IsarMathLib version 1.7.2 released posted by slawekk, Sat 23 Jul 2011 06:42:09 PM UTC - 0 replies
Version 1.7.1 released posted by slawekk, Mon 09 May 2011 12:55:19 PM UTC - 0 replies
Version 1.7.0 released posted by slawekk, Sun 13 Feb 2011 09:44:08 AM UTC - 0 replies
version 1.6.9 released posted by slawekk, Tue 30 Jun 2009 08:49:33 PM UTC - 0 replies
[Submit News]
[34 news in archive]
[Submit News]
[34 news in archive]
version 1.6.7 released
Item posted by Slawomir Kolodynski <slawekk> on 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.
Comments:
No messages in version 1.6.7 released
Show feedback again


