Design of a proof assistant: Coq version 7
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Rapport
(Rapport De Recherche)
Année : 2000
Jean-Christophe Filliâtre : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02890416
Soumis le : lundi 6 juillet 2020-12:15:21
Dernière modification le : jeudi 28 novembre 2024-15:42:02
Archivage à long terme le : vendredi 25 septembre 2020-13:50:24
Dates et versions
Identifiants
- HAL Id : hal-02890416 , version 1
Citer
Jean-Christophe Filliâtre. Design of a proof assistant: Coq version 7. [Research Report] Université Paris-Sud. 2000. ⟨hal-02890416⟩
286
Consultations
116
Téléchargements