most citedFormalized proof, computation, and the construction problem in algebraic geometry

3 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing math.CTShow all

2 papers · 1 filter

math.CT2005

Explaining Gabriel-Zisman localization to the computer

Carlos T. Simpson

This explains a computer formulation of Gabriel-Zisman localization of categories in the proof assistant Coq. It includes both the general localization construction with the proof…

math.CT2005★ 1 cited

Files for Gabriel-Zisman localization

Carlos T. Simpson

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 t…