Published Works
Here is a .bib file containing many references to
published articles about Coq (in particular the internals).
It would be great if some of them could be described in a few words on this
page.
To the extent possible under law, the contributors of the Rocq wiki have waived all copyright and related or neighboring rights to their contributions.
By contributing to the Rocq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.