found the magic prompt that fixes all my Lean. "walk the abstraction layers one by one from the foundations all the way…
By dan
found the magic prompt that fixes all my Lean. "walk the abstraction layers one by one from the foundations all the way to the top, and at every point see if the proof matches how you would explain 'why' to a human. if not, assert underlying facts at the lower level and compose or lift them"