search

ufmg-smite / lean-smt

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

Traverse #22

Closed Vtec234 closed 2 years ago

Vtec234 commented 2 years ago

A minor change to use Meta.transform and avoid some panic!s.