New top story on Hacker News: Theorem Proving in Lean May 29, 2018 Theorem Proving in Lean 117 by benwr | 12 comments on Hacker News. Share Get link Facebook X Pinterest Email Other Apps Labels Hacker News Share Get link Facebook X Pinterest Email Other Apps Comments
Comments
Post a Comment