Blog: Coq

Functional Futures: Dependent Types with David ChristiansenFunctional Futures: Dependent Types with David Christiansen