Pinned Loading
-
-
langtons-ant-core
langtons-ant-core PublicLean-checked universal one-black-cell theorem for Langton's ant, with exact replay certificates and an interactive proof guide
Lean 1
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.







