Autre Publication
Année : 2012
Matthieu Sozeau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00767483
Soumis le : jeudi 20 décembre 2012-01:57:36
Dernière modification le : vendredi 8 novembre 2024-15:20:02
Dates et versions
Identifiants
- HAL Id : hal-00767483 , version 1
Citer
Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber. Forcing in Coq. 2012. ⟨hal-00767483⟩
Collections
227
Consultations
0
Téléchargements