Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions

(github.com) by kurinikku | Mar 30, 2026 | 0 comments on HN