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

Merge remote-tracking branch 'upstream/master' into feat/css-surface-…

7bf43ce
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 19s