Update toolchain and add Mathlib dependency.

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

84 stars 18 forks source link

Closed abdoo8080 closed 1 year ago

abdoo8080 commented 1 year ago

Added a namespace for proof theorems to avoid naming conflicts with Mathlib.