Mathématiques inversées de Coq
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Mémoire D'étudiant
Année : 2021
Yoan Géran : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04319183
Soumis le : samedi 2 décembre 2023-12:01:45
Dernière modification le : jeudi 21 novembre 2024-10:30:02
Dates et versions
Licence
Identifiants
- HAL Id : hal-04319183 , version 1
Citer
Yoan Géran. Mathématiques inversées de Coq. Logique en informatique [cs.LO]. 2021. ⟨hal-04319183⟩
Collections
59
Consultations
35
Téléchargements