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