Rapport
Année : 2021
Frédéric Boulanger : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04523844
Soumis le : mercredi 27 mars 2024-16:48:17
Dernière modification le : vendredi 29 mars 2024-03:14:28
Dates et versions
Identifiants
- HAL Id : hal-04523844 , version 1
Citer
The Coq Development Team. The Coq Proof Assistant Reference Manual - version 8.19.0. INRIA. 2021. ⟨hal-04523844⟩
Collections
0
Consultations
0
Téléchargements