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ław
- Wrocław, Poland
-
17:37
(UTC +02:00) - https://sileanth.tech
- in/łukasz-magnuszewski-506a14261
Highlights
- Pro
Pinned Loading
-
-
grzybiarskie_efekty
grzybiarskie_efekty Publicwhat so algebraic about algebraic effects seminar talk
TeX
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.