PR #1591 fix(tactic/solve_by_elim): parameter parsing

fix(tactic/solve_by_elim): parameter parsing #1591

mergify merged 9 commits into master from solve_by_elim_parsing

fix(tactic/solve_by_elim): parameter parsing

d2a155f2

Merge branch 'master' into solve_by_elim_parsing

b0b0034e

robertylewis commented on 2019-10-22

revert accidental commenting out

b94ca9d7

kim-em added awaiting-review

kim-em requested a review from

robertylewis 6 years ago

robertylewis commented on 2019-10-23

robertylewis removed awaiting-review

robertylewis added needs-documentation

doc comments for solve_by_elim

f5afb9d4

merge

fa4fc458

merge

2d0c46fc

kim-em removed needs-documentation

kim-em added ready-to-merge

kim-em removed ready-to-merge

kim-em added awaiting-review

bryangingechen commented on 2019-10-24

fix build

eed4b7c0

Merge branch 'master' into solve_by_elim_parsing

b2e15795

robertylewis approved these changes on 2019-10-24

robertylewis removed awaiting-review

robertylewis added ready-to-merge

Merge branch 'master' into solve_by_elim_parsing

8a5fe720

mergify merged 5da754c9 into master 6 years ago

mergify deleted the solve_by_elim_parsing branch 6 years ago

Reviewers

robertylewis

bryangingechen

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone

mathlib3 fix(tactic/solve_by_elim): parameter parsing #1591 Merged

fix(tactic/solve_by_elim): parameter parsing #1591

mathlib3
fix(tactic/solve_by_elim): parameter parsing
#1591

Merged