New top story on Hacker News: Theorem Proving in Lean

New top story on Hacker News: Theorem Proving in Lean New top story on Hacker News: Theorem Proving in Lean Reviewed by Qamar javed on May 29, 2018 Rating: 5

No comments:

Powered by Blogger.