Skip to content

feat(Combinatorics): cellular surfaces, CSS quantum codes, and k = 2g#39653

Draft
RaggedR wants to merge 12 commits into
leanprover-community:masterfrom
RaggedR:feat/css-surface-codes
Draft

feat(Combinatorics): cellular surfaces, CSS quantum codes, and k = 2g#39653
RaggedR wants to merge 12 commits into
leanprover-community:masterfrom
RaggedR:feat/css-surface-codes

Commits

Commits on May 21, 2026

Commits on Jun 5, 2026

Commits on Jul 2, 2026