Vers une traduction de K en Dedukti
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03604962
Soumis le : jeudi 10 mars 2022-16:55:36
Dernière modification le : mercredi 21 janvier 2026-03:36:01