Library of Formalized Mathematics for Isabelle/Isar (ZF Logic) - News
version 0.1.0 released
Item posted by Slawomir Kolodynski <slawekk> on Tue 10 May 2005 08:49:13 PM UTC.
The new stuff in this version is mostly related to the ongoing real numbers construction. We got to the point where we show that what will be the set of real numbers forms a group with respect to the operation that will become the addition.
Powered by Savane 3.14-c7d1.
Corresponding source code