Touring the MetaCoq Project (Invited Paper) - Archive ouverte HAL Access content directly
Conference Papers Year :

Touring the MetaCoq Project (Invited Paper)

(1, 2)
1
2
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)

Dates and versions

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

Licence

Attribution - CC BY 4.0

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⟩
24 View
30 Download

Share

Gmail Facebook Twitter LinkedIn More