ivankobe
@ivankobe@mathstodon.xyz
Joined: 10/03/2025
About ivankobe
Ph.D. student at the University of Ljubljana.
Doing type theory and (higher) category theory.
Lists
ivankobe has no public lists
Timeline
ivankobe has no activity yet
@ivankobe@mathstodon.xyz
Joined: 10/03/2025
Ph.D. student at the University of Ljubljana.
Doing type theory and (higher) category theory.
ivankobe has no public lists
ivankobe has no activity yet