issues
search
ufmg-smite
/
lean-smt
Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
84
stars
18
forks
source link
SMT rewrite tactic for operators over a list of inputs
#63
Closed
mhk119
closed
11 months ago