{The Coq Development Team}. The Coq Reference Manual -- Release 8.18.0. \url{https://coq.inria.fr/doc/V8.18.0/refman}, 2023.
@misc{Coq-8-18, title = {The Coq Reference Manual -- Release 8.18.0}, author = {{The Coq Development Team}}, year = {2023}, researchr = {https://researchr.org/publication/Coq-8-18}, cites = {0}, citedby = {0}, howpublished = {\url{https://coq.inria.fr/doc/V8.18.0/refman}}, }