Importing Logipedia proofs in Agda
Importer les preuves de Logipedia dans Agda
Domaines
Théorie et langage formel [cs.FL]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) |
---|
Tristan Delort : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02985530
Soumis le : jeudi 7 janvier 2021-08:55:42
Dernière modification le : vendredi 17 mai 2024-16:22:03
Archivage à long terme le : jeudi 8 avril 2021-18:02:30