[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Isarmathlib-devel] IsarMathLib version 1.6.3 released
From: |
Slawomir Kolodynski |
Subject: |
[Isarmathlib-devel] IsarMathLib version 1.6.3 released |
Date: |
Mon, 14 Apr 2008 18:35:01 -0700 (PDT) |
I have released version 1.6.3 of IsarMathLib. There is
not much new formalized mathematics added. Most of the
effort went to creating a better presentation of
IsaMathLib theories. The result can be seen at
http://formalmath.tiddlyspot.com/ . The new rendering
was characterized as "cool" and "better than anything
existing for formal math today" by Josef Urban on the
Mizar mailing list. The rendering is based on
TiddlyWiki and jsMath. It is still incomplete - the
parser (written using Haskell's Parsec library) is
still brittle and can parse only a couple of theories.
http://savannah.nongnu.org/projects/isarmathlib
Library of Formalized Mathematics for Isabelle/Isar (ZF Logic)
____________________________________________________________________________________
Be a better friend, newshound, and
know-it-all with Yahoo! Mobile. Try it now.
http://mobile.yahoo.com/;_ylt=Ahu06i62sR8HDtDypao8Wcj9tAcJ
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Isarmathlib-devel] IsarMathLib version 1.6.3 released,
Slawomir Kolodynski <=