Formalisation et implémentation des propositions strictes dans MetaCoq
Origin | Files produced by the author(s) |
---|---|
Licence |
INRIA.HAL.SCIENCE Web Portal Publications, software... of Inria fellow Academics |
Origin | Files produced by the author(s) |
---|---|
Licence |
Yann Leray : Connect in order to contact the contributor
https://inria.hal.science/hal-04433492
Submitted on : Friday, February 2, 2024-10:55:32 AM
Last modification on : Tuesday, August 27, 2024-12:56:16 PM
Long-term archiving on : Tuesday, May 7, 2024-7:46:38 PM