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)
|
fvalido_yopapp Federico Valido |
|
adyeredmi N Yuningsih |
|
romainlanz Romain Lanz |
|
jballanc Joshua Ballanco |
|
piotrkasiewicz Piotr |
|
mekebnetisamel Bazarova Natalya |
|
shanejearley Shane Earley |
|
soralit Tian Li |
|
patricktilt Patrick Ortell |
|
|
divya_17 Divyanjalee |
|
brito Francisco Brito |
|
divinetechygirl ChristinaM |












