anton_trunov
Anton Trunov
I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain
Saint Petersburg, Russia
Following (1)
|
ichistmeinname Sandra Dylus |
Followers (1)
|
k4rtik Kartik Singhal |
Browse others (15)
|
yes_yes_no_no Yelkin Bezmirzaev |
|
fwalloe Fredrik Walløe |
|
themushmouth Patrick McFarling |
|
newdex May Lee |
|
nitewriter Joel Garrett |
|
atorralba Tony Torralba |
|
evizitei Ethan C Vizitei |
|
anagrom_ataf Tobias Kräntzer |
|
martarho Marta Rodriguez |
|
elsiqljepsh Elsi Plebsh |
