search

ufmg-smite / lean-smt

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

Allow terms as hints. #69

Closed abdoo8080 closed 9 months ago

abdoo8080 commented 9 months ago

This PR allows users to pass terms as hints to the tactic.

tomaz1502 commented 9 months ago

LGTM