user avatar
user avatar
user avatar
xamid
  • Member for 5 years, 2 months
  • Last seen more than 1 year ago
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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
2
bronze badges
Posts

This user hasn’t posted yet.