Interact with SMT-LIB 2 compliant solvers in Lean 4
Primary LanguageLeanApache License 2.0Apache-2.0
No issues in this repository yet.