Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News
Version 1.9.2 released
Item posted by Slawomir Kolodynski <slawekk> on Mon 20 Oct 2014 06:36:14 PM UTC.
This is a maintenance release to update the project for Isabelle 2014.
Powered by Savane 3.13-54b4.
Corresponding source code