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

 
 

Version 1.7.1 released

Item posted by Slawomir Kolodynski <slawekk> on Mon 09 May 2011 12:55:19 PM UTC.

A couple of theorems in topology and algebra added, leading to some amusing conclusions about the empty set.

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code