What mathematicians should know about the Lean Theorem Prover: reliability & AI
20 by matt_d | 1 comments on Hacker News.
Friday, October 9, 2026
New top story on Hacker News: What mathematicians should know about the Lean Theorem Prover: reliability & AI
Subscribe to:
Post Comments (Atom)
Hello, my name is Jack Sparrow. I'm a 50 year old self-employed Pirate from the Caribbean.
No comments:
Post a Comment