search

ufmg-smite / lean-smt

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

chore: bump to v4.8.0 #113

Closed AdrienChampion closed 3 weeks ago

AdrienChampion commented 4 weeks ago

requires https://github.com/abdoo8080/lean-cvc5/pull/1