newsLibrary 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.

Back to the top

Powered by Savane 3.13-d3ae.
Corresponding source code