Pinned Loading
Repositories
Showing 10 of 57 repositories
- mechanic-docs Public
- ftpg Public
The fundamental theorem of projective geometry in Lean 4 / Mathlib: sorry-free, standard axioms only, with completeness shown necessary
Top languages
Loading…
Most used topics
Loading…