Tooling and infrastructure for interacting with SAT/SMT solvers and their proofs in Lean 4.
Vtec234/lean-sat
None Description
GitHub Link DocumentationPick a version!
TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.