About ivankobe

Ph.D. student at the University of Ljubljana.
Doing type theory and (higher) category theory.

{n, plural, =1 {List} other {Lists}}

Timeline

{username} has no activity yet