mathlib3
feat(tactic/core): basic interaction monad functions
#1658

Merged

feat(tactic/core): basic interaction monad functions #1658

mergify merged 10 commits into master from tactic-core

khoek force pushed from 6f216069 to 3de8036e 6 years ago

khoek force pushed from 3de8036e to 7160e746 6 years ago

khoek force pushed from 7160e746 to 28a5d2fe 6 years ago

feat(tactic/core): basic interaction monad functions

def072e0

khoek force pushed from 28a5d2fe to def072e0 6 years ago

khoek added awaiting-review

kim-em commented on 2019-11-09

kim-em removed awaiting-review

kim-em added awaiting-author

Merge branch 'master' into tactic-core

0a2249b8

review

c2f5aec2

robertylewis assigned

kim-em 6 years ago

Merge branch 'master' into tactic-core

a75a25e9

merge

9bcebac5

remove get_result

8538465c

update comments

1fe4e45b

whitespace

e94a7acd

american spelling

11cd433b

kim-em approved these changes on 2020-03-29

kim-em removed awaiting-author

kim-em added ready-to-merge

Merge branch 'master' into tactic-core

a7f122a9

mergify merged 38544f14 into master 6 years ago

bryangingechen deleted the tactic-core branch 6 years ago

Reviewers

kim-em

cipher1024

Assignees

kim-em

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(tactic/core): basic interaction monad functions #1658 Merged

feat(tactic/core): basic interaction monad functions #1658

mathlib3
feat(tactic/core): basic interaction monad functions
#1658

Merged