|
The Coq Proof Assistant, Reference Manual, Version 5.10 (1995) |
- Cornes, Cristina,
- Courant, Judicaël,
- Filliâtre, Jean-Christophe,
- Huet, Gerard,
- Manoury, Pascal,
- Munoz, César,
- Murthy, Chetan,
- Parent, Catherine,
- Paulin-Mohring, Christine,
- Saibi, Amokrane,
- Werner, Benjamin
|
Abstract |
|
Résumé disponible dans les fichiers attachés |
Details der Publikation |
|