## Stream: general

### Topic: backwards reasoning

#### Reid Barton (Oct 19 2018 at 21:56):

Can someone remind me of the status of backwards_reasoning in mathlib? Is it still in PR limbo, or did it get merged into solve_by_elim, or what?

#### Scott Morrison (Oct 19 2018 at 22:05):

It is in limbo, waiting for me to respond to reviewers' comments. I have been at a conference all week (for which I'm an organiser, and which has been full of interesting maths), so haven't touched it. I'm also realising I should be doing more maths and less Lean...

Last updated: May 14 2021 at 13:24 UTC