HoTT community

URI: https://gptkb.org/entity/HoTT_community
GPTKB entity
Statements (19)
Predicate Object
gptkbp:instanceOf mathematics community
gptkbp:communicatesVia gptkb:GitHub
gptkb:Zulip_chat
newsletter
gptkbp:focusesOn gptkb:homotopy_type_theory
gptkbp:founded 2010s
https://www.w3.org/2000/01/rdf-schema#label HoTT community
gptkbp:maintainedBy gptkb:nLab_HoTT_portal
gptkbp:notableMember gptkb:Steve_Awodey
gptkb:Vladimir_Voevodsky
gptkb:Michael_Shulman
gptkb:Peter_LeFanu_Lumsdaine
gptkb:Andrej_Bauer
gptkbp:organizes gptkb:HoTT_electronic_seminar
gptkbp:publishes gptkb:HoTT_book
gptkbp:relatedTo gptkb:logic
gptkb:category_theory
gptkbp:bfsParent gptkb:HoTT_library
gptkbp:bfsLayer 6