Stars
A markup-based typesetting system that is powerful and easy to learn.
Lean 3's obsolete mathematical components library: please use mathlib4
Fermat's Last Theorem for regular primes
Formalization of the existence of sphere eversions
{{ message }}