search

ufmg-smite / lean-smt

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

Better BV theory support #37

Closed Vtec234 closed 1 year ago

Vtec234 commented 1 year ago

Closes #29. Depends on #38.