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 <>
Submitted on : Thursday, December 20, 2012 - 1:57:36 AM
Last modification on : Saturday, March 28, 2020 - 2:09:54 AM

Identifiers

  • HAL Id : hal-00767483, version 1

Collections

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

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

385

 

Contact                    Legal Notice                    Personal Data