Dan Licata's repositories
cubicalexperiments
HoTT MRC Cubical experiments group
Language:TeX000
cooltt
😎TT
Language:OCamlApache-2.0000
cs-pui.github.io
A resource for CS faculty positions at primarily-undergraduate institutions
Language:HTML000
HoTTEST-Summer-School-development
HoTTEST Summer School materials
Language:TeX000