Keystone CLOSED — 143*13+1859 | S14=14 q5=226 q6=165849 cf_bound=82829 | C(S4)=11.422>2√13 h=10 — P5_BSD_RH_closure_CLOSED — Lean 4.12 0 sorry — BSD 143a1 + RH — condensed 19→1 6cefaf3 PR78 green da3b943c662f vs 6ec00281c55d — Beal a2a23292
Lean Updated 10 days ago 1 commits
omega-coder|Mirror: DavidFox998/rh-p5-bridge-14 (⭐0)
10 days agoAbout
Keystone CLOSED — 143*13+1859 | S14=14 q5=226 q6=165849 cf_bound=82829 | C(S4)=11.422>2√13 h=10 — P5_BSD_RH_closure_CLOSED — Lean 4.12 0 sorry — BSD 143a1 + RH — condensed 19→1 6cefaf3 PR78 green da3b943c662f vs 6ec00281c55d — Beal a2a23292
Readme