Vers une traduction de K en Dedukti
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Valentin Blot : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03604962
Soumis le : jeudi 10 mars 2022-16:55:36
Dernière modification le : jeudi 28 novembre 2024-14:52:02