newsLibrary of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News: version 1.6.5 released

 
 
Latest News
Move to GitHub posted by slawekk, Tue 05 May 2020 04:25:05 PM UTC
Version 1.9.4 released posted by slawekk, Sat 12 Mar 2016 11:21:34 AM UTC
Version 1.9.2 released posted by slawekk, Mon 20 Oct 2014 06:36:14 PM UTC
Version 1.9.0 released posted by slawekk, Mon 22 Jul 2013 05:14:22 PM UTC
Version 1.7.4 released posted by slawekk, Wed 27 Jun 2012 05:38:06 PM UTC

version 1.6.5 released

Item posted by Slawomir Kolodynski <slawekk> on Mon 22 Sep 2008 01:01:30 AM UTC.

This version adds about 50 new facts leading to the theorem that every two linearly ordered finite sets are order isomorphic and the isomorphism is unique.

 

Back to the top

Powered by Savane 3.13-758e.
Corresponding source code