Formalizing a proof in Lean using Claude Code [video]

(youtube.com) by ironyman | Mar 8, 2026 | 0 comments on HN