[Isarmathlib-devel] IsarMathLib version 1.6.3 released

[Slawomir Kolodynski]

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