Update toolchain and expand on `README.md`.

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

89 stars 18 forks source link

Update toolchain and expand on `README.md`. #17

Closed abdoo8080 closed 2 years ago

abdoo8080 commented 2 years ago

This PR updates the toolchain to use the latest version of lake, which allows us to safely specify main as the branch to use for git dependencies. This PR also adds usage instruction of the smt tactic to the README.md file.