Refactor Transformers infrastructure.

ufmg-smite / lean-smt

Tactics for discharging Lean goals into SMT solvers.

Apache License 2.0

89 stars 18 forks source link

Closed abdoo8080 closed 2 years ago

abdoo8080 commented 2 years ago

This PR simplifies the Transformer infrastructure and applies transformations eagerly.