New top story on Hacker News: Theorem Proving in Lean

Theorem Proving in Lean
117 by benwr | 12 comments on Hacker News.

• Tweet
• Share
• Share
• Share
• Share