LeanSAT
This package provides an interface and foundation for verified SAT reasoning
1-1 of 1 packages depending on leanprover/LeanSAT
Sort by
Package Name
vasnesterov/HadwigerNelsonuses
a1acc2dHadwiger-Nelson Problem Formalization in Lean 4