added preprocessing step to rewrite Iff with Eq - Githubissues

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

84 stars 18 forks source link

added preprocessing step to rewrite Iff with Eq #61

Closed tomaz1502 closed 10 months ago