Some `orN` lemmas and proof of `orN_resolution` - Githubissues

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

80 stars 18 forks source link

Some `orN` lemmas and proof of `orN_resolution` #96

Closed mhk119 closed 1 month ago