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