mathlib3
feat(tactic/show_term): show_term { t } prints the term constructed by t
#2227

Merged

feat(tactic/show_term): show_term { t } prints the term constructed by t #2227

mergify merged 10 commits into master from show_term

feat(tactic): show_term { t } prints the term constructed by t

8ad44ffb

add to tactic.basic

220014e9

move tests

1897671e

silencing

19342fa3

gebner commented on 2020-03-24

robertylewis added awaiting-author

Update src/tactic/show_term.lean

7a254216

clean up

f574d364

Merge branch 'show_term' of github.com:leanprover-community/mathlib i…

ae696801

kim-em removed awaiting-author

kim-em added awaiting-review

remove tests

05b586f2

gebner commented on 2020-03-24

Update src/tactic/show_term.lean

76d33900

gebner removed awaiting-review

gebner added ready-to-merge

gebner approved these changes on 2020-03-24

Merge branch 'master' into show_term

4b0d78c5

mergify merged 5437b10a into master 6 years ago

robertylewis deleted the show_term branch 6 years ago

Reviewers

gebner

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone