Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.
- Utrecht, The Netherlands
-
23:29
(UTC +02:00) - www.math.ru.nl/~agolov/
- https://orcid.org/0000-0001-9273-413X
- @jesyspa
Block or Report
Block or report jesyspa
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.