New top story on Hacker News: Theorem Proving in Lean

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


Comments

Popular posts from this blog

New top story on Hacker News: Ask HN: What companies are you excited about?