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…