Use `BEq` in Bool tests. - Githubissues

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

89 stars 18 forks source link

Use `BEq` in Bool tests. #9

Closed abdoo8080 closed 2 years ago