Tags give the ability to mark specific points in history as being important
-
comoproj-v1.2.0
4fe47f9f · ·added description, how you can compile your project in multiple versions. added latest as additional default version
-
comozfc-v1.0.0
protectedRelease: comozfc-v1.0.0206e1e92 · ·stated first version of ZFC-Axioms, removed axiom status from derivable theorems reordered Axioms/Theorems to show dependencies better between them
-
zfc-stated
7a377a0e · ·