Vers une traduction de K en Dedukti
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) |
---|
Valentin Blot : Connect in order to contact the contributor
https://hal.science/hal-03604962
Submitted on : Thursday, March 10, 2022-4:55:36 PM
Last modification on : Tuesday, September 17, 2024-3:52:49 PM