bravit (Vitaly Bragilevsky)

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

Chat with bravitStart a chat
Your conversation will be end-to-end encrypted.

F1084951C8F726E4

_bravit tweet

bravit gist

Chat with bravitStart 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