Theorem Proving in Lean
115 by benwr | 12 comments on Hacker News.
Tuesday, May 29, 2018
Home »
Hacker News
» New top story on Hacker News: Theorem Proving in Lean
Daily NEWS ,Latest News, Breaking News, National News, World News, India News update . Daily NEWS UPDATE fata fat daily breaking news
0 comments:
Post a Comment