search

ufmg-smite / lean-smt

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

RW Tactic Fixed and Generalized #94

Open mhk119 opened 4 months ago