Thank you to Thierry Coquand, Gérard Huet, Christine Paulin-Mohring,
Bruno Barras, Jean-Christophe Filliâtre, Hugo Herbelin, Chetan Murthy,
Yves Bertot, and Pierre Castéran along with the Coq maintainers for
the Coq theorem prover.

Thank you to Carsten Dominik, Bastien Guerry and all the contributors
to Org Mode.

Thanks to Luc Pellissier <luc.pellissier@crans.org>, the maintainer of
the original ob-coq.el.

Thanks to rvs314 <https://github.com/rvs314> for adding support for
Rocq 9.
