J'ai téléchargé et unzippé l'assistant de preuve Coq.
Mais je n'arrive pas à l'installer et ne comprends pas les instructions données à cette adresse :  
ftp://ftp.inria.fr/INRIA/coq/V8.0/INSTALL.win
 
Je vous serais très reconnaissant si vous pouviez m'aider, car je ne trouve strictement aucune autre info à ce sujet.  

Si vous savez ou je peux trouver de l'aide ...

Cela signifie qu'il faut ajouter le chemin dans la variable d'environnement PATH. Pour cela (je suppose que ton système d'exploitation est Windows :  
Va dans "Panneau de configuration" --> "Performances et maintenance" --> "Système" --> Onglet "Avancés" --> "Variables d'environnement"
Là tu dois avoir une variable système appelé Path. Tu cliques dessus et tu la modifie en rajoutant le chemin du répertoire bin là où tu as dézippé le fichier : Sur l'exemple, ce serait ;C:\coq\bin
 
Normalement ça devrait suffire !!!