Geometry
Geometry modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Geometry.CayleyMenger |
5 | 0 | 3 | 229 | — |
Geometry.DeficitLinearization |
2 | 0 | 1 | 196 | — |
Geometry.DihedralAngle |
10 | 0 | 5 | 184 | — |
Geometry.Schlaefli |
4 | 0 | 4 | 193 | — |