GitHub repository: leanprover/leansat
Primary language: Lean
Created: 2023-11-20T22:09:06Z
Description: This package provides an interface and foundation for verified SAT reasoning