Skip to content

feat(Archive): dual Langer graph and GH(2,2) non-self-duality#39718

Draft
RaggedR wants to merge 37 commits into
leanprover-community:masterfrom
RaggedR:feat/dual-langer-noniso
Draft

feat(Archive): dual Langer graph and GH(2,2) non-self-duality#39718
RaggedR wants to merge 37 commits into
leanprover-community:masterfrom
RaggedR:feat/dual-langer-noniso

Commits

Commits on May 21, 2026

Commits on May 22, 2026

Commits on Jul 2, 2026