101
reputation
1

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.

1
answer
0
questions
0
people reached
  • Member for 2 years, 1 month
  • 0 profile views
  • Last seen Jul 9 '20 at 15:28

Top tags (0)

This user has not participated in any tags.

Top posts (1)

Badges (1)

Gold

Silver

Bronze

1

Rarest