Lean formalization of A Dichotomy for Complex Boolean Holant with Binary Disequality (paper 1), with the manuscript and official Comparator checks.
Lean Updated 11 days ago 1 commits
axiom-bot|Mirror: liuchliuch/holant-binary-disequality-lean (⭐0)
11 days agoAbout
Lean formalization of A Dichotomy for Complex Boolean Holant with Binary Disequality (paper 1), with the manuscript and official Comparator checks.
Readme