Formalisation et implémentation des propositions strictes dans MetaCoq - Inria - Institut national de recherche en sciences et technologies du numérique
Reports Year : 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
Origin Files produced by the author(s)
Licence

Dates and versions

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

Licence

Identifiers

  • HAL Id : hal-04433492 , version 1

Cite

Yann Leray. Formalisation et implémentation des propositions strictes dans MetaCoq. Inria Rennes - Bretagne Atlantique; LS2N-Nantes Université. 2022, pp.17. ⟨hal-04433492⟩
99 View
13 Download

Share

More