163 by pmoriarty | 9 comments on Hacker News.
New top story on Hacker News: A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]
A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]
163 by pmoriarty | 9 comments on Hacker News.
163 by pmoriarty | 9 comments on Hacker News.
0 comments:
Post a Comment