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 (14)
|
spoike Mikael Brassman |
|
zaatelnekraz Varsonofev Markell |
|
charlieyu Charlie Yu |
|
mayavbecogkin Nemirovich Korniliy |
|
|
cami11e Camille Bretagnon |
|
maearnoldo Mae Arnoldo |
|
riccskywlkr Riccardo |
|
callumhylanddc Callum Hyland |
|
stargazer Maxime Kieffer |
