List all the compare functions
Create a script to list all the compare functions / compare proofs in a Markdown file displayed on the website. You can take inspiration from https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/issues/57 The goal is to detect the compare functions without proofs. To avoid associating individually a compare function to its lemma, it is possible to just count the number of compare definitions/proofs for each file and compare this number.