109
reputation
5

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.

0
answers
1
question
~515
people reached
  • Member for 3 years, 9 months
  • 8 profile views
  • Last seen Jul 9 '20 at 15:33

Top tags (0)

This user has not participated in any tags.

Top posts (1)

Badges (5)

Gold

Silver

Bronze

5

Rarest