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)
|
bodey Bodey Marcoccia |
|
tomasmocek Tomas Mocek |
|
|
purplecat_12 purplecat_12 |
|
ank Andres Kievsky |
|
tevino Tevin Zhang |
|
15tmorris Talaizia Morris |
|
zzzacounting live free or fucking die |
|
ellyn Ellyn Daly |
|
|
eduardo2021 Eduardo Pereira |
|
misterbullz Justin |











