Skip to main content
xamid's user avatar
xamid's user avatar
xamid's user avatar
xamid
  • Member for 7 years, 4 months
  • Last seen this week
Stats
258
reputation
3k
reached
5
answers
8
questions
Loading…
About

I am a theoretical computer scientist, mainly concerned with logic, proof theory, proof complexity, and automated theorem proving. I code tools to ease my life.

This user doesn’t have any gold badges yet.
1
silver badge
14
bronze badges
2
Score
6
Posts
46
Posts %
2
Score
5
Posts
38
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
Top posts
View all questions and answers