Update Lean, add some trace contexts for debugging - Githubissues

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

89 stars 18 forks source link

Update Lean, add some trace contexts for debugging #13

Closed Vtec234 closed 2 years ago