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.
Subscribe to:
Post Comments
(
Atom
)
No comments
Post a Comment