Last released Aug 23, 2025
An open-source software platform for exploring, proving, and generating mathematical concepts
Supported by
