https://coq.inria.fr/documentation https://coq.inria.fr/doc/V8.18.0/refman/user-extensions/syntax-extensions.html?highlight=string https://github.com/coq/platform/releases/tag/2023.03.0 https://cel.hal.science/inria-00001173v6/document https://learnxinyminutes.com/docs/coq/ https://en.wikipedia.org/wiki/Coq_(software) https://github.com/coq/coq/wiki/Alternative-names https://stackoverflow.com/questions/7963528/what-does-v-stand-for-in-the-coq-file-extension