Files for Gabriel-Zisman localization
From MaRDI portal
Publication:6475673
arXivmath/0506470MaRDI QIDQ6475673FDOQ6475673
Authors: Carlos Simpson 
Publication date: 23 June 2005
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.
This page was built for publication: Files for Gabriel-Zisman localization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6475673)
