Loom
Loom modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Loom.CertificateData |
0 | 0 | 9 | 408 | - |
Loom.Core |
65 | 0 | 36 | 806 | - |
Loom.Grammar |
3 | 0 | 3 | 115 | - |
Loom.Readings |
0 | 0 | 4 | 77 | - |
Loom.Semantics |
0 | 0 | 2 | 67 | - |
Loom.Separation |
34 | 0 | 26 | 359 | - |