Skip to content

feat(planar-SAT): prove paired compiler model-count preservation - #1177

Merged
SamuelSchlesinger merged 9 commits into
mainfrom
feat/parsimony-paired-counting
Oct 26, 2026
Merged

feat(planar-SAT): prove paired compiler model-count preservation#1177
SamuelSchlesinger merged 9 commits into
mainfrom
feat/parsimony-paired-counting

chore: regenerate Complexity.lean

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

Annotations

2 errors
Job log options

This job was cancelled