AngouriMath
Navigation
Soundness
Property
Summary
The weakest tier any of its rules is justified at — derived rather than declared,
so it cannot drift from the rules it is about.
so it cannot drift from the rules it is about.
Angouri © 2019-2026 · Project's repo · Site's repo · Octicons · Transparency · 5057 pages online