/metamath

Meta mathematics. Symbolic functions and derivatives.

Primary LanguageC++MIT LicenseMIT

Watchers