meta user
network profile
| bio | website | homotopytypetheory.org/2012/… |
|---|---|---|
| location | Ljubljana, Slovenia | |
| age | 27 | |
| visits | member for | 1 year |
| seen | May 15 at 9:06 | |
| stats | profile views | 167 |
I'm currently finishing my master as an exchange student in Ljubljana. I'm doing homotopy type theory, and especially higher inductive types.
115
votes
28
answers
8
kviews
95
votes
15
answers
5
kviews
84
votes
1
answer
2
kviews
22
votes
2
answers
763
views
17
votes
1
answer
548
views
10
votes
1
answer
468
views
9
votes
3
answers
551
views
5
votes
2
answers
211
views
4
votes
2
answers
501
views
