ufmg-smite / lean-smtLinks

Tactics for discharging Lean goals into SMT solvers.
194Updated last month

Alternatives and similar repositories for lean-smt

Users that are interested in lean-smt are comparing it to the libraries listed below

Sorting: