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

(github.com) by kurinikku | Sep 24, 2026 | 0 comments on HN