Skip to content

feat(Archive): dodecahedron, Petersen graph, 3-cube, and antipodal quotients#39650

Draft
RaggedR wants to merge 16 commits into
leanprover-community:masterfrom
RaggedR:feat/named-graphs-archive
Draft

feat(Archive): dodecahedron, Petersen graph, 3-cube, and antipodal quotients#39650
RaggedR wants to merge 16 commits into
leanprover-community:masterfrom
RaggedR:feat/named-graphs-archive

Commits

Commits on May 21, 2026

Commits on May 22, 2026

Commits on Jun 5, 2026

Commits on Jul 2, 2026