issues
search
ufmg-smite
/
lean-smt
Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
89
stars
18
forks
source link
Subtraction between natural numbers
#2
Closed
tomaz1502
closed
2 years ago
tomaz1502
commented
2 years ago
…bers
…bers