gksato's user avatar
gksato's user avatar
gksato's user avatar
gksato
  • Member for 8 years, 3 months
  • Last seen this week
  • Tokyo, Japan
Stats
317
reputation
1k
reached
0
answers
5
questions
Loading…
About

Studying Homotopy Type Theory.

Interested in Homotopy theory, Algebraic Topology, type theory, and logic.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
0
Score
3
Posts
60
Posts %
0
Score
3
Posts
60
Posts %
0
Score
2
Posts
40
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
0
Score
1
Posts
20
Posts %
Top posts