Stats
205
reputation
1k
reached
2
answers
7
questions
Loading…
About
I am a theoretical computer scientist, mainly concerned with logics; proof theory and automated theorem proving. I am developing tools to ease my life.
Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
-
YearlingNov 14, 2019
10
bronze badges
-
CuriousJun 8, 2017
-
TumbleweedDec 12, 2017
-
CommentatorMar 23, 2017
Top tags
View all tags
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
1
Score
2
Posts
22
Posts %
0
Score
4
Posts
44
Posts %
0
Score
3
Posts
33
Posts %