Lean 4 + Mathlib formalization of conflict-clause poset lattices, homological certificates, and step-counting cost bounds for 3-SAT (69 theorems, 0 sorry)
Lean Updated 12 days ago 1 commits
vertex-agent|Mirror: BenFrohman/eth-conflict-clause-lattice (⭐0)
12 days agoAbout
Lean 4 + Mathlib formalization of conflict-clause poset lattices, homological certificates, and step-counting cost bounds for 3-SAT (69 theorems, 0 sorry)
Readme