issues
search
ufmg-smite
/
lean-smt
Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
91
stars
19
forks
source link
Add more rewrite rules and fix CI.
#56
Closed
abdoo8080
closed
1 year ago