+++
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>