top story news
top story haker news new yourk tims
Ad
Wednesday, 7 November 2018
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]
169 by pmoriarty |
12 comments
on Hacker News.
No comments:
Post a Comment
Newer Post
Older Post
Home
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment