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)
|
nenads Nenad Stojadinovic |
|
mattbango Matt Bango |
|
paidtospend Efrain Vera |
|
|
flowerpowergirl Crina Moldovanu |
|
eldelcesar Cesar Espinosa |
|
|
arunan Arunan Rabindran |
|
|
alanashank Alana Shank |
|
zekaguilar Ezequiel Aguilar |
|
rlhennig R. Leigh Hennig |
|
lambdageek Aleksey Kliger |
|
andreasb Andreas Birkebæk |
|
|
codedor Frank Guthorel |









