content/zettel/3b8.md


1
2
3
4
5
6
7
8
9
10
11
12

+++
title = "Equality in Coq"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3b7"]
forwardlinks = []
zettelid = "3b8"
+++

Equality is quite important in coq, as it allows you to rewrite the
terms.