Coq 8.4 Reference Manual
Pierre Boutillier
(1, 2)
,
Stephane Glondu
(1, 2)
,
Benjamin Grégoire
(3)
,
Hugo Herbelin
(1, 2)
,
Pierre Letouzey
(1, 2)
,
Pierre-Marie Pédrot
(1, 2)
,
Yann Régis-Gianas
(1, 2)
,
Matthieu Sozeau
(1, 2)
,
Arnaud Spiwack
(1)
,
Enrico Tassi
(4, 5)
Stephane Glondu
- Fonction : Auteur
- PersonId : 173386
- IdHAL : stephane-glondu
- ORCID : 0000-0002-0028-0714
- IdRef : 165407492
Benjamin Grégoire
- Fonction : Auteur
- PersonId : 1695
- IdHAL : benjamin-gregoire
- ORCID : 0000-0001-6650-9924
- IdRef : 089057058
Hugo Herbelin
- Fonction : Auteur
- PersonId : 833422
Pierre Letouzey
- Fonction : Auteur
- PersonId : 4997
- IdHAL : pierre-letouzey
- ORCID : 0009-0007-1937-0393
- IdRef : 081284322
Pierre-Marie Pédrot
- Fonction : Auteur
- PersonId : 6615
- IdHAL : pierre-marie-pedrot
- ORCID : 0009-0002-8006-6239
- IdRef : 194140822
Yann Régis-Gianas
- Fonction : Auteur
- PersonId : 880586
Matthieu Sozeau
- Fonction : Auteur
- PersonId : 911472
- ORCID : 0000-0001-6452-8806
Arnaud Spiwack
- Fonction : Auteur
- PersonId : 1886
- IdHAL : arnaud-spiwack
- IdRef : 154084247
Enrico Tassi
- Fonction : Auteur
- PersonId : 17662
- IdHAL : enrico-tassi
- ORCID : 0000-0002-7783-528X
- IdRef : 225331373