mathlib3
feat(tactic/solve_by_elim): add accept parameter to prune tree search
#2245
Merged
Merged
feat(tactic/solve_by_elim): add accept parameter to prune tree search #2245
mergify
merged
35 commits into
master
from
solve_by_elim_accept
chore(tactic/solve_by_elim): cleanup
4033570a
cleanup
b680dafd
what happened to my commit?
f86fb333
fix
a81942f6
fix
87fcc485
fixed?
8521631c
Tweak comments
aa1781e5
feat(tactic/solve_by_elim): add accept parameter to prune tree search
1b7877cc
when called with empty lemmas, use the same default set as the intera…
b9c0f351
Merge branch 'solve_by_elim_cleanup' into solve_by_elim_accept
53bb8513
stop cheating with [] ~ none
13fa4bc5
Merge remote-tracking branch 'origin/master' into solve_by_elim_cleanup
e31120dc
merge
a838470c
indenting
2afd7d34
various
259ad741
various
d1db7958
docstring
d5a8bad9
merge
adc16a6b
fix docstrings
c3ba895d
Merge branch 'solve_by_elim_cleanup' into solve_by_elim_accept
c23d5baf
more docs
258db37f
docs
04ddcf12
fix doc-strings
46bea2db
merge
552ef978
kim-em
changed the title 
improve documentation of accept, and add doc-string
5356daaf
Merge remote-tracking branch 'origin/master' into solve_by_elim_accept
b66cc7fd
improve docs
e1c7ce9b
try again with documentation
e9b6cc3e
clarify when accept runs
d90a0b29
robertylewis
commented
on 2020-03-27
Update src/tactic/solve_by_elim.lean
4b42afe0
kim-em
commented
on 2020-03-27
Update src/tactic/solve_by_elim.lean
2912163e
kim-em
commented
on 2020-03-27
Update src/tactic/solve_by_elim.lean
90e189c0
Merge remote-tracking branch 'origin/master' into solve_by_elim_accept
0795d4aa
robertylewis
approved these changes
on 2020-03-28
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&s=60)
Merge branch 'master' into solve_by_elim_accept
cd986fdc
Merge branch 'master' into solve_by_elim_accept
0bd8cadf
Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub