search

ufmg-smite / lean-smt

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

Refactor Transformers infrastructure and use attributes to mark them. #11

Closed abdoo8080 closed 2 years ago

abdoo8080 commented 2 years ago

This PR simplifies the Transformer infrastructure and applies transformations eagerly. It additionally uses Lean attributes to mark transformers.