Hacker News New top story on Hacker News: Theorem Proving in Lean By new Tuesday, May 29, 2018 Comment Edit Theorem Proving in Lean 115 by benwr | 12 comments on Hacker News. Related PostsNew top story on Hacker News: Why Echo Chambers Are Useful [pdf]New top story on Hacker News: Colleges Want Students with Character, but Can’t Measure It (2014)New top story on Hacker News: How Writers Map Their Imaginary WorldsNew top story on Hacker News: Bussed out: how America moves thousands of homeless people around the country
0 Response to "New top story on Hacker News: Theorem Proving in Lean"
Post a Comment