search

SKolodynski / IsarMathLib

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

Module_ZF_1.thy #35

Closed dan323 closed 5 months ago

dan323 commented 5 months ago
SKolodynski commented 5 months ago

@dan323 Please let me know when you are done with changes for a while so that I can edit Module_ZF.thy so that it passes the style check and be ready for merge.

dan323 commented 5 months ago

@SKolodynski it passes the style check already