ELS - A Lisp Way to Type Theory and Formal Proofs
Channel: programmingconf
Date: 2017-06-20

Frédéric Peschanski - A Lisp Way to Type Theory and Formal Proofs
Presented at ELS 2017
http://2017.programmingconference.org/event/els-2017-a-lisp-way-to-type-theory-and-formal-proofs