issues
search
ufmg-smite
/
lean-smt
Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
93
stars
19
forks
source link
Changes to smtRw tactic.
#76
Closed
mhk119
closed
8 months ago