Pinned Repositories
cubical
An experimental library for Cubical Agda
aljungstrom.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
cubical
da3018_vt22_repo
Data
HoTTEST-Summer-School
HoTTEST Summer School materials
lib-agda
My customized version of the Agda standard library
serre-finiteness
SyntheticCohomologyTests
turin-cubical
aljungstrom's Repositories
aljungstrom/aljungstrom.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
aljungstrom/cubical
aljungstrom/da3018_vt22_repo
aljungstrom/Data
aljungstrom/HoTTEST-Summer-School
HoTTEST Summer School materials
aljungstrom/lib-agda
My customized version of the Agda standard library
aljungstrom/serre-finiteness
aljungstrom/SyntheticCohomologyTests
aljungstrom/turin-cubical