newsLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News

 
 

Version 1.7.4 released

Item posted by Slawomir Kolodynski <slawekk> on Wed 27 Jun 2012 05:38:06 PM UTC.

A new Topology_ZF_3 theory about product topologies has been added.

Back to the top

Powered by Savane 3.13-599c.
Corresponding source code