User:Proklesia

I am a student of mathematics and computer science, with interests in mathematical logic, set theory, automated theorem proving, and programming language design.