search

SKolodynski / IsarMathLib

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

TopologicalGroup_Uniformity_ZF.thy not presented at isarmathlib.org #10

Closed SKolodynski closed 4 years ago

SKolodynski commented 4 years ago

This newly added theory needs to be converted to the proof style enforced by isar2html.

SKolodynski commented 4 years ago

The renderering of TopologicalGroup_Uniformity_ZF is there.