search

ufmg-smite / lean-smt

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

chore: update to nightly-2022-07-01 #33

Closed Vtec234 closed 2 years ago