GitHub repository: siddhartha-gadgil/Saturn
Primary language: Lean
Created: 2021-06-03T01:41:58Z
Description: Experiments with SAT solvers with proofs in Lean 4