A Lisp way to Type Theory and Formal Proofs https://www.european-lisp-symposium.org/static/2017/peschanski.pdf … [pdf]
6:40 PM - 6 Nov 2018
0 replies
2 retweets
13 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.