Skip to content

#70: Cai–Govorov simple-graph orbit separation — general descent theorem + rank theorem (axiom-clean)#2

Merged
cameronfreer merged 32 commits into
masterfrom
70-cai-govorov-simple-orbit
Jul 2, 2026
Merged

#70: Cai–Govorov simple-graph orbit separation — general descent theorem + rank theorem (axiom-clean)#2
cameronfreer merged 32 commits into
masterfrom
70-cai-govorov-simple-orbit

fix: #70 — address all 10 code-review findings (docs accuracy + Vande…

300af9b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build project and blueprint
succeeded Jul 2, 2026 in 6m 50s