Geeks
siddhartha-gadgil
/
Saturn
Experiments with SAT solvers with proofs in Lean 4
Primary Language
Lean
MIT License
MIT
Saturn GitHub
Markdown
Readme
1
Issue
50
Stargazers
3
Watchers
Issues
Closed issue
Problem with ">lake build bin"
#4 opened
2 months ago
by
adolfont
3