Transformations logiques pour SMTCoq
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-04486654
Soumis le : lundi 4 mars 2024-15:29:06
Dernière modification le : lundi 27 octobre 2025-11:04:02
Archivage à long terme le : mercredi 5 juin 2024-18:10:16