RecogGeom
RecogGeom modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
RecogGeom.Composition |
15 | 0 | 4 | 220 | - |
RecogGeom.Core |
2 | 0 | 1 | 99 | - |
RecogGeom.FiniteResolution |
10 | 0 | 6 | 183 | - |
RecogGeom.Indistinguishable |
8 | 0 | 6 | 164 | - |
RecogGeom.Locality |
0 | 0 | 3 | 143 | - |
RecogGeom.Quotient |
6 | 0 | 8 | 139 | - |
RecogGeom.Recognizer |
1 | 0 | 1 | 137 | - |