Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News: version 1.6.7 released
[Submit News]
[30 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

