Skip to content

feat(Archive): CellularSurface instances (genus 1, 2, 3, 505)#39654

Draft
RaggedR wants to merge 38 commits into
leanprover-community:masterfrom
RaggedR:feat/surface-instances
Draft

feat(Archive): CellularSurface instances (genus 1, 2, 3, 505)#39654
RaggedR wants to merge 38 commits into
leanprover-community:masterfrom
RaggedR:feat/surface-instances

Commits

Commits on May 21, 2026

Commits on May 22, 2026

Commits on Jun 5, 2026

Commits on Jul 2, 2026