Sileanth

Student of Computer Science and Mathematics at University of Wrocław. Interested in Theory of programming Languages, Logic, Proof Assistants and Algorithms.

Univercity of WrocławWrocław, Poland