anton_trunov
Anton Trunov
I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain
Saint Petersburg, Russia
Start a chat
Your conversation will be end-to-end encrypted.

Following (1)

ichistmeinname
Sandra Dylus

Followers (1)

k4rtik
Kartik Singhal

Browse others (14)

mattnippert
Matt Nippert
ageis
Kevin M. Gallagher
captainbern
CaptainBern
falkonpunch
kayla
sstupis
Spencer Tupis
1245124512445154
MH账号:fyblovefyb
thebmw
Brandon Warner
jorgetesta
Jorge Testa
nerdsville
Joshua Santos