xamid has asked 0
questions and find answers to 5
problems.
Stats
58 EtPoint
11 Vote count
0 questions
5 answers
About
I am a theoretical computer scientist, concerned with logics; model theory, proof theory and automated theorem proving. I am developing tools – mainly in C++ and C# – to ease my life.
Menu
