dlicata335

Pinned Repositories

cart-cube
Cartesian Cubical Type Theory
Language:Agda69 10 04
codepenent
Language:TeX00
cohesion-agda
Language:Agda0 2 00
cooltt
😎TT
Language:OCaml00
cs-pui.github.io
A resource for CS faculty positions at primarily-undergraduate institutions
Language:HTML00
cubicalexperiments
HoTT MRC Cubical experiments group
7 8 02
cubicaltt
Language:Haskell3 3 02
hott-agda
Language:Agda82 18 16
HoTTEST-Summer-School-development
HoTTEST Summer School materials
Language:TeX01
papers
Research papers
1 5 00

dlicata335's Repositories

dlicata335/hott-agda
Language:Agda82 18 16
dlicata335/cart-cube
Cartesian Cubical Type Theory
Language:Agda69 10 04
dlicata335/cubicalexperiments
HoTT MRC Cubical experiments group
7 8 02
dlicata335/cubicaltt
Language:Haskell3 3 02
dlicata335/papers
Research papers
1 5 00
dlicata335/codepenent
Language:TeX00
dlicata335/cohesion-agda
Language:Agda0 2 00
dlicata335/cooltt
😎TT
Language:OCaml00
dlicata335/cs-pui.github.io
A resource for CS faculty positions at primarily-undergraduate institutions
Language:HTML00
dlicata335/HoTTEST-Summer-School-development
HoTTEST Summer School materials
Language:TeX01