-
comoproj-v1.2.0
added description, how you can compile your project in multiple versions. added latest as additional default version
-
comonum-v1.0.0-beta protected
Initialized Z and Q, based on standard natural numbers. Stated standard theorems on `diffeq, quoteq, addZ, addQ, mulZ, mulQ`.