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