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)
