URCAdapters
URCAdapters modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
URCAdapters.Audit |
0 | 0 | 12 | 135 | — |
URCAdapters.CPMClosureReport |
0 | 0 | 2 | 32 | — |
URCAdapters.CPMReports |
0 | 0 | 2 | 33 | — |
URCAdapters.ELProp |
0 | 1 | 1 | 22 | — |
URCAdapters.EightBeat |
0 | 1 | 1 | 15 | — |
URCAdapters.LNALReports |
0 | 0 | 19 | 263 | — |
URCAdapters.LawfulNormalizer |
0 | 1 | 1 | 29 | — |
URCAdapters.TcGrowth |
0 | 1 | 1 | 28 | — |
URCAdapters.UnitsIdentity |
0 | 1 | 1 | 16 | — |