fantastic tool for generating Lean proof maps ("blueprints") directly from the Lean code github.com/hanwenzhu/Le... hig…
By dan
fantastic tool for generating Lean proof maps ("blueprints") directly from the Lean code github.com/hanwenzhu/Le... highly recommend for helping LLM make sense of the broader structure of the proof and finding simplifications