content/zettel/3b.md


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>