Files for Gabriel-Zisman localization - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2005

Files for Gabriel-Zisman localization

Carlos Simpson
Laboratoire Jean Alexandre Dieudonné
CV

Résumé

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.

Domaines

Catégories et ensembles [math.CT]
Fichier principal
Vignette du fichier
gzfiles.pdf (238.52 Ko) Télécharger le fichier

Carlos Simpson  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00005547

Soumis le : jeudi 23 juin 2005-09:42:14

Dernière modification le : jeudi 14 mars 2024-03:08:16

Archivage à long terme le : jeudi 1 avril 2010-21:45:07

Télécharger pour visualiser

Dates et versions

hal-00005547 , version 1 (23-06-2005)

Identifiants

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS DIEUDONNE UNIV-COTEDAZUR
162 Consultations
118 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More