search

ufmg-smite / lean-smt

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

chore: update trace channel prefix to use lower-case `smt`. #19

Closed abdoo8080 closed 2 years ago