Komi Golov

icon indicating an email [email protected]

icon company @JetBrains icon location Utrecht, The Netherlands icon location Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.

Results 1 repositories owned by Komi Golov

linear-cpp

663
Stars
131
Forks
Watchers

An attempt at a C++ tutorial.

verified publisher icon jesyspa