Last released May 16, 2026
Deterministic verification of European high school math axioms.
Supported by