jado's user avatar
jado's user avatar
jado's user avatar
jado
  • Member for 7 years, 3 months
  • Last seen more than 1 year ago
Stats
2,612
reputation
192k
reached
34
answers
12
questions
Loading…
About

Interested in Programming Language Theory, Type Theory, Metamathematics, Theoretical Physics, and many other fields.

1
gold badge
15
silver badges
35
bronze badges
72
Score
40
Posts
87
Posts %
13
Score
8
Posts
17
Posts %
13
Score
6
Posts
13
Posts %
9
Score
3
Posts
7
Posts %
6
Score
4
Posts
9
Posts %
5
Score
3
Posts
7
Posts %
Top posts
View all questions and answers
question
18
Jul 10, 2015
question
17
Jul 14, 2015
question
16
Jul 21, 2015
question
14
Jul 12, 2015
question
10
Oct 19, 2015
answer
8
Nov 14, 2015