bravit
Vitaly Bragilevsky
Senior lecturer at SFedU. Interests include functional programming (mainly Haskell), theoretical computer science (theory of computations, type theory), interactive theorem proving (Coq).
Rostov-on-Don, Russia

Following (4)

alexott
Alex Ott
kmmbvnr
Mikhail Podgurskiy
qrilka
Kirill Zaborsky
thedzhon
Eugene Mamin

Followers (14)

ska80
Kamil Shakirov
rvs
Roman V Shaposhnik
kuznero
Roman Kuznetsov
philippg
Philipp Gniewosz
int_index
Vladislav Zavialov
fycth
Andrii Sergiienko
develop7
Andrei Dziahel
kan03w3st
Batyshka Lenin
4e6
Dmitry Bushev
green
Artyom Kazak

Browse others (15)

lattera
Shawn Webb
neha
Neha Narula
vieux
Victor Vieux
witoff
Rob
chrismccord
Chris McCord
jsteward
綺麗な賢狼ホロ
client4
Eric Fulton
jvk
Jip van Kuijk
feross
Feross Aboukhadijeh
robey
Robey Pointer
dmercer
Jane Mercer
alexmarkley
Alex Markley
hgomez
Henri Gomez
zanderz
Steve Sanders
amaelle_g
Amaelle Guiton