Tuesday, May 29, 2018

New top story on Hacker News: Theorem Proving in Lean

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


No comments:

Post a Comment