Zulip Chat Archive

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: Aug 03 2023 at 10:10 UTC