Proof Tactics in Dedukti
Tactiques de preuve dans Dedukti
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Rosalie Defourné : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01661872
Soumis le : jeudi 4 janvier 2018-19:54:36
Dernière modification le : lundi 16 décembre 2024-15:38:17
Archivage à long terme le : jeudi 5 avril 2018-12:25:29