Meta mathematics. Symbolic functions and derivatives.
-
Updated
May 3, 2018 - C++
Meta mathematics. Symbolic functions and derivatives.
Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
Nonlinear Mathematics Example
Principia: Metamath-like Logician Language
An experimental toolkit of metamath based on mmj2
Add a description, image, and links to the metamath topic page so that developers can more easily learn about it.
To associate your repository with the metamath topic, visit your repo's landing page and select "manage topics."