Formalisation et implémentation des propositions strictes dans MetaCoq
Domaines
Logique en informatique [cs.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
Rapport
Année : 2022
Yann Leray : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04433492
Soumis le : vendredi 2 février 2024-10:55:32
Dernière modification le : mardi 27 août 2024-12:56:16
Archivage à long terme le : mardi 7 mai 2024-19:46:38
Dates et versions
Licence
Identifiants
- HAL Id : hal-04433492 , version 1
Citer
Yann Leray. Formalisation et implémentation des propositions strictes dans MetaCoq. Inria Rennes - Bretagne Atlantique; LS2N-Nantes Université. 2022, pp.17. ⟨hal-04433492⟩
Collections
99
Consultations
13
Téléchargements