1 2 3 4 5 6 7 8 9 10 11 12 13 14
+++ title = "Coq" author = "Yann Herklotz" tags = [] categories = [] backlinks = ["3a"] forwardlinks = ["3c", "3b1"] zettelid = "3b" +++ Some notes regarding Adam Chlipala's book "Certified Programming with Dependent Types".[^1] [^1]: <http://adam.chlipala.net/cpdt/html/toc.html>