Formally proving a calculation with Claude and Lean

3 pointsposted 5 hours ago
by ibobev
(johndcook.com)

No comments yet