Skip to content

Lemma G of #484: clean proof and Lean 4 formalisation of its core - #509

Merged
Mister-Meeseeks merged 11 commits into
CrocSwap:mainfrom
DreamingOfClouds:e8-lemma-g-lean
Oct 12, 2026
Merged

Lemma G of #484: clean proof and Lean 4 formalisation of its core#509
Mister-Meeseeks merged 11 commits into
CrocSwap:mainfrom
DreamingOfClouds:e8-lemma-g-lean

Lemma G Lean package: audit fixes (adapter bridge, adapter identities…

7b9c720
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
verify (3.11)
succeeded Oct 12, 2026 in 11m 58s