search

SKolodynski / IsarMathLib

IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
https://isarmathlib.org
Other
16 stars 2 forks source link

More theories presented at isarmathlib.org #32

Closed SKolodynski closed 10 months ago

SKolodynski commented 12 months ago

I would like to make some changes to the theory files that are currently not presented at the isarmathlib.org site so that they pass the isar2html converter. @dan323, do you have suggestions for some of your theory files that you are not working on?

SKolodynski commented 10 months ago

I have edited and added Topology_ZF_8 and Group_ZF_5 to isarmathlib.org.