Files for Gabriel-Zisman localization

Abstract : This preprint contains the Coq proof files for Gabriel-Zisman localization, bundled with the source. The text of this preprint consists of the definitions and lemma statements of the main files, with proofs removed. See the other preprint "Explaining GZ localization to the computer" for explanation and discussion.
Document type :
Preprints, Working Papers, ...
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00005547
Contributor : Carlos Simpson <>
Submitted on : Thursday, June 23, 2005 - 9:42:14 AM
Last modification on : Friday, January 12, 2018 - 1:51:48 AM
Document(s) archivé(s) le : Thursday, April 1, 2010 - 9:45:07 PM

Identifiers

Collections

Citation

Carlos Simpson. Files for Gabriel-Zisman localization. 2005. ⟨hal-00005547⟩

Share

Metrics

Record views

299

Files downloads

97