Blogs about: Isarmathlib
Featured Blog
Isabelle 2009-1 and IsarMathLib
The Isabelle team has just released Isabelle 2009-1. The latest release 1.6.9 of IsarMathLib checks out without any modification, so there is no update needed. The new installation instructions on the… more →
Formalized Mathematics
Isabelle 2009-1 and IsarMathLib
slawekk wrote 2 weeks ago: The Isabelle team has just released Isabelle 2009-1. The latest release 1.6.9 of IsarMathLib checks … more →
IsarMathLib 1.6.6 released
slawekk wrote 1 year ago: The release adds about 50 facts leading to a theorem named prod_list_of_sets that can be informally … more →
IsarMathLib version 1.6.5 relased
— 2 comments
slawekk wrote 1 year ago: I have released a new version of IsarMathLib. This time there is some new formalized mathematics rel … more →
IsarMathLib 1.6.4 released
slawekk wrote 1 year ago: Isabelle developers released 2008 version a couple of weeks ago, so I updated IsarMathLib to work wi … more →
Tiddly Formal Math
slawekk wrote 1 year ago: I have posted a TiddlyWiki rendering of two IsarMathLib theories at tiddlyspot. The theories are Fin … more →
IsarMathLib and Isabelle/ZF
slawekk wrote 2 years ago: My impression that the new Isabelle 2007 does not break anything related to ZF was a bit premature. … more →
