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

Group

Main
- Main
- View members
- Search
Homepage
Download
Support
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Mailing lists
Source code
Bugs
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Tasks
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Patches
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
News
- Browse
- Atom feed
- ~~Submit~~
- ~~Manage~~

Version 0.2.0 released

Item posted by Slawomir Kolodynski <slawekk> on Mon 13 Jun 2005 07:32:33 PM UTC.

Some group theory needed for the construction of real numbers has been added: new sections on lifting group structures to a function space, equivalence relations on groups, normal subgroups and quotient grups, group valued finite range functions and almost homomorphisms.