Are there any good examples of research papers that reference Coq code inline? Doesn't necessarily mean a link to a GitHub repo, just an unambiguous reference to where the "Coq equivalent" of some concept explained in a paper can be found.

I'm not sure I'm getting the question wrong, but I've been using the `coqtheorem`

package extensively in the last years (github.com/yforster/coqtheorem). It gives an easy way to link definitions, lemmas, and theorems to coqdoc-generated code, see for example https://doi.org/10.4230/LIPIcs.CSL.2021.21

My cursor was not included in the screenshot, but it's right over `Lemma 1`

thanks, that's approximately what I was looking for

Examples from UniMath: https://arxiv.org/pdf/1705.04296.pdf and https://arxiv.org/pdf/1903.01152.pdf

Last updated: Feb 22 2024 at 05:02 UTC