Static analysis consultant and compiler tester, finishing my doctoral thesis on Church’s set theory with a universal set.

Top Questions
No questions with score of 5 or more