search

ufmg-smite / lean-smt

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

Syncing Proof Reconstruction #67

Closed tomaz1502 closed 11 months ago

tomaz1502 commented 1 year ago

Adding latest changes, including some tactics for non-linear arithmetic