Skip to content

Degree-uniform endgame and verified first-origin/centered extensions - #4

Draft
subfish-zhou wants to merge 24 commits into
teorth:masterfrom
subfish-zhou:refactor/degree-uniform-endgame
Draft

Degree-uniform endgame and verified first-origin/centered extensions#4
subfish-zhou wants to merge 24 commits into
teorth:masterfrom
subfish-zhou:refactor/degree-uniform-endgame

[verified] Preserve centered C-near proofs and reproducible research

908818f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs