xamid has asked 0
questions and find answers to 4
problems.
Stats
47 EtPoint
10 Vote count
0 questions
4 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
