Importing Logipedia proofs in Agda
Importer les preuves de Logipedia dans Agda
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
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 : mercredi 26 février 2025-15:22:03
Archivage à long terme le : jeudi 8 avril 2021-18:02:30