Design of a proof assistant: Coq version 7
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
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 : mercredi 26 février 2025-15:22:03
Archivage à long terme le : vendredi 25 septembre 2020-13:50:24