RSBridge
RSBridge modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
RSBridge.Anchor |
5 | 0 | 10 | 188 | — |
RSBridge.GapFunctionForcing |
5 | 5 | 2 | 233 | — |
RSBridge.GapProperties |
9 | 4 | 7 | 457 | — |
RSBridge.ResidueData |
4 | 0 | 17 | 176 | — |
RSBridge.ZMapDerivation |
12 | 0 | 3 | 130 | — |