search

ufmg-smite / lean-smt

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

Added import and made changes to tactic #66

Closed mhk119 closed 10 months ago