HYIP-Man: A Lisp Way to Type Theory and Formal Proofs [pdf]
Tuesday, November 06, 2018
A Lisp Way to Type Theory and Formal Proofs [pdf]
A Lisp Way to Type Theory and Formal Proofs [pdf]

more