+++
title = "Coq Types"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3b2"]
forwardlinks = ["3b4", "3b3a"]
zettelid = "3b3"
+++