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 5 janvier 2024-03:25:01
Dates et versions
Identifiants
- HAL Id : hal-00767483 , version 1
Citer
Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber. Forcing in Coq. 2012. ⟨hal-00767483⟩
Collections
210
Consultations
0
Téléchargements