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
Start a chat
Your conversation will be end-to-end encrypted.

Following (4)

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

Followers (14)

vittoriuz
Victor Zagorodny
dem1tris
Dmitry Ivanishkin
jojolarx
Aleksey Shatov
rvs
Roman V Shaposhnik
kuznero
Roman Kuznetsov
philippg
Philipp Gniewosz
int_index
Vladislav Zavialov
develop7
Andrei Dziahel
4e6
Dmitry Bushev
green
Artyom Kazak

Browse others (15)

stef12
Stefan Dimitrov
shah_zarrieneh
Areian Zarrieneh
jerry9557
Olumide Akinremi
soerenw
Sören Weber
maxiride
Federico D'Eredità
mcyusuf
Adeleye Ismaheel Oluwatobi
shiiba
ESC
dttien
Trong Tien
marove
Timo Schindler