Touring the MetaCoq Project (Invited Paper) - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2021

Touring the MetaCoq Project (Invited Paper)

Domains

Programming Languages [cs.PL]
Fichier principal
Vignette du fichier
Touring_the_MetaCoq_Project-LFMTP21.pdf (3.81 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Matthieu Sozeau  : Connect in order to contact the contributor

https://inria.hal.science/hal-03516619

Submitted on : Friday, January 7, 2022-11:59:37 AM

Last modification on : Tuesday, August 27, 2024-12:53:48 PM

Long-term archiving on : Friday, April 8, 2022-6:50:20 PM

Download

Dates and versions

hal-03516619 , version 1 (07-01-2022)

Licence

Attribution

Identifiers

  • HAL Id : hal-03516619 , version 1

Cite

Matthieu Sozeau. Touring the MetaCoq Project (Invited Paper). LFMTP 2021 - Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2021, Pittsburg, United States. pp.1-17. ⟨hal-03516619⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 GENCI LS2N LS2N-GALLINETTE NANTES-UNIVERSITE
46 View
71 Download

Share

More