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)
|
kramilio Josh Kramil |
|
myglory myglory |
|
|
sakinser Serkan SAKINMAZ |
|
demonkisser Male Damon |
|
|
marcelopinheiro Marcelo Pinheiro |
|
dkorycinski Daniel Korycinski |
|
|
marlun Martin Lundberg |
|
|
franny2times Francis Nguyen |
|
spumroy Sarah Pumroy |
