Hacker News new | ask | show | jobs
Formally proving a calculation with Claude and Lean (johndcook.com)
3 points by ibobev 16 hours ago