-
comoproj-v1.2.0
added description, how you can compile your project in multiple versions. added latest as additional default version
-
comozfc-v1.0.0 protected Release: comozfc-v1.0.0
stated first version of ZFC-Axioms, removed axiom status from derivable theorems reordered Axioms/Theorems to show dependencies better between them