Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News
Version 1.9.4 released
Item posted by Slawomir Kolodynski <slawekk> on Sat 12 Mar 2016 11:21:34 AM UTC.
This version updates IsarMathLib for Isabelle2016.
Powered by Savane 3.14-5139.
Corresponding source code