Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions(github.com)
github.com
Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions
https://github.com/savarin/lean-refine
https://github.com/savarin/lean-refine
Before: https://github.com/savarin/ledger/blob/67d6e236296e4787e8924...
After: https://github.com/savarin/ledger/blob/506584542d1c1c2751e2d...