PR #1626 feat(tactic/simps): allow let-expressions

feat(tactic/simps): allow let-expressions #1626

mergify merged 3 commits into master from simps_let

feat(simps); allow let-expressions

a79ffcf6

fpvandoorn added awaiting-review

robertylewis changed the title ~~feat(simps); allow let-expressions~~ feat(tactic/simps): allow let-expressions 6 years ago

robertylewis commented on 2019-10-29

Update src/meta/expr.lean

ad39e8e5

kim-em removed awaiting-review

kim-em added ready-to-merge

kim-em approved these changes on 2019-10-31

Merge branch 'master' into simps_let

df8ce725

mergify merged 780cbc98 into master 6 years ago

mergify deleted the simps_let branch 6 years ago

Reviewers

kim-em

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone