Skip to content

feat(proof): every checker move has a lean theorem or a debt row - #335

Merged
the-homeless-god merged 8 commits into
devfrom
a/checker-rules-are-sound-in-lean
Oct 6, 2026
Merged

feat(proof): every checker move has a lean theorem or a debt row#335
the-homeless-god merged 8 commits into
devfrom
a/checker-rules-are-sound-in-lean

Commits

  1. Commits on Oct 6, 2026