search

ufmg-smite / lean-smt

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

Stable #74

Closed AdrienChampion closed 8 months ago

AdrienChampion commented 9 months ago

I wanted to use lean-smt in a stable project, and noticed it's pinned to v4.2.0-rc1.

In case you're interested in a PR, I made a stable version here which was relatively straightforward. There are a few changes that would need to be reviewed (here, here, and here at least), but nothing major.

abdoo8080 commented 8 months ago

Hi @AdrienChampion! Thank you for the helpful note. The last two commits move the pin to v4.4.0.

AdrienChampion commented 8 months ago

Awesome!