A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]

Comments

from Hacker News https://ift.tt/2D4H3Hv
via

Comments

Popular posts from this blog