Touring the MetaCoq Project (Invited Paper)
Domains
Programming Languages [cs.PL]Origin | Files produced by the author(s) |
---|
INRIA.HAL.SCIENCE Web Portal Publications, software... of Inria fellow Academics |
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