Skip to content

feat(Archive): Langer graph, Tutte 12-cage, and structural equality via G₂(2)#39649

Draft
RaggedR wants to merge 20 commits into
leanprover-community:masterfrom
RaggedR:feat/langer-structural
Draft

feat(Archive): Langer graph, Tutte 12-cage, and structural equality via G₂(2)#39649
RaggedR wants to merge 20 commits into
leanprover-community:masterfrom
RaggedR:feat/langer-structural

Merge remote-tracking branch 'upstream/master' into feat/langer-struc…

0f9eb98
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 2, 2026 in 1m 13s