Pierre-Yves-Gaillard/HoTT-Zorn
A HoTT Book Theoretic Zorn's Lemma
Public GitHub Catalog
Discovered Sep 27, 2026
Pierre-Yves-Gaillard / selected_texts
I put together four short texts I have written
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10959301GitHub System ID
Pierre-Yves-GaillardOrganization / User
PublicVisibility
ActiveCatalog Status
More from Pierre-Yves-Gaillard
Pierre-Yves-Gaillard/HoTT_Reading_Notes
Informal comments on the HoTT Book. PDF file: http://iecl.univ-lorraine.fr/~Pierre-Yves.Gaillard/HoTT/ReadingNotes/HoTT_Reading_Notes_a.pdf
Pierre-Yves-Gaillard/book
A textbook on informal homotopy type theory
Pierre-Yves-Gaillard/retyping
Retyping of the Appendix "Univers", signed by Bourbaki but presumably written by Grothendieck, to the SGA 4.1 Exposé "Préfaisceaux" by Grothendieck and Verdier