3b3.md « zettel « content - zk-web - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/content/zettel/3b3.md

blob: c5dfb272765dfc548b6bed2d3051f46b015ba86c (plain)

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