search

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.
Apache License 2.0
80 stars 18 forks source link

Initial Non-linear arithmetic + Porting Rat to Real #73

Closed tomaz1502 closed 4 months ago