Hacker News new | ask | show | jobs
Formalizing a proof in Lean using Claude Code [video] (youtube.com)
5 points by ironyman 104 days ago