Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
160
reputation
10

xamid

I am a theoretical computer scientist, mainly concerned with logics; proof theory and automated theorem proving. I am developing tools to ease my life.

2
answers
7
questions
~831
people reached
  • Member for 2 years, 3 months
  • 31 profile views
  • Last seen May 11 at 17:09

Top tags (18)

Score 1
Posts 2
Posts % 22
Score 1
Posts 2
Score 1
Posts 2
Score 1
Posts 2
Score 0
Posts 4
Score 0
Posts 3

Top posts (9) All Questions Answers | Votes Newest

Badges (10)

Gold

Silver

Bronze

10

Rarest