167 followers
https://t.co/nCGVMX8OQM This looks nice. Binders are always extremely painful
https://t.co/nCGVMX8OQM This looks nice. Binders are always extremely painful
@simrob @chrisamaphone @lambdagrrl See http://t.co/Fmi1QvY4yp for something similar in Coq.