Formalisation et implémentation des propositions strictes dans MetaCoq - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2022

Formalisation et implémentation des propositions strictes dans MetaCoq

Fichier principal
Vignette du fichier
Rapport_Stage.pdf (177.66 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04433492 , version 1 (02-02-2024)

Licence

Paternité

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⟩
22 Consultations
5 Téléchargements

Partager

Gmail Facebook X LinkedIn More