Hola
Si quieren bajarse en versión PDF el manual de Coq de la versión que tienen instalada, vayan al manual de Coq en su sitio web: https://coq.inria.fr/doc/V8.18.0/refman/. Abajo a la izquierda aparece la opción "Other versions". Si la selecconan aparecen las versiones y abajo "Downloads PDF".
Saludos, Carlos