Skip to Main content Skip to Navigation
Other publications

Forcing in Coq

Matthieu Sozeau 1, 2 Nicolas Tabareau 3, 4 Guilhem Jaber 3, 4 
1 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
2 PPS - Preuves, Programmes et Systèmes
3 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
4 LINA - Laboratoire d'Informatique de Nantes Atlantique
Document type :
Other publications
Complete list of metadata
https://hal.inria.fr/hal-00767483
Contributor : Matthieu Sozeau Connect in order to contact the contributor
Submitted on : Thursday, December 20, 2012 - 1:57:36 AM
Last modification on : Wednesday, April 27, 2022 - 3:49:28 AM

Identifiers

  • HAL Id : hal-00767483, version 1

Collections

UNIV-PARIS7 | UNIV-NANTES | PPS | CNRS | INRIA | LINA | LINA-ASCOLA | INFO | INRIA2 | IMT-ATLANTIQUE | UNIV-PARIS | NANTES-UNIVERSITE

Citation

Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber. Forcing in Coq. 2012. ⟨hal-00767483⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

192

 

Contact                    Legal Notice                    Personal Data