aljungstrom

Pinned Repositories

cubical
An experimental library for Cubical Agda
Language:Agda447 26 242136
aljungstrom.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
cubical
Language:Agda0 0 00
da3018_vt22_repo
Language:Java0 0 00
Data
Language:Python0 1 00
HoTTEST-Summer-School
HoTTEST Summer School materials
Language:TeX0 0 00
lib-agda
My customized version of the Agda standard library
Language:Agda0 0 00
serre-finiteness
Language:Agda00
SyntheticCohomologyTests
Language:Agda00
turin-cubical
Language:Agda0 1 00

aljungstrom's Repositories

aljungstrom/aljungstrom.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript00
aljungstrom/cubical
Language:Agda0 0 00
aljungstrom/da3018_vt22_repo
Language:Java0 0 00
aljungstrom/Data
Language:Python0 1 00
aljungstrom/HoTTEST-Summer-School
HoTTEST Summer School materials
Language:TeX0 0 00
aljungstrom/lib-agda
My customized version of the Agda standard library
Language:Agda0 0 00
aljungstrom/serre-finiteness
Language:Agda00
aljungstrom/SyntheticCohomologyTests
Language:Agda00
aljungstrom/turin-cubical
Language:Agda0 1 00