[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Isarmathlib-devel] IsarmathLib 1.6.7 released
|
From: |
Slawomir Kolodynski |
|
Subject: |
[Isarmathlib-devel] IsarmathLib 1.6.7 released |
|
Date: |
Tue, 17 Feb 2009 17:40:10 -0800 (PST) |
There is no new formalized mathematics in this release. I have updated many
theories so that they can be parsed by the HTML rendering tool (included in the
release). As a result, all IsarMathLib theories that are presented in the proof
document are also presented at the FormalMath.org site.
Slawekk
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Isarmathlib-devel] IsarmathLib 1.6.7 released,
Slawomir Kolodynski <=