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)
|
coolacid Jason |
|
|
rubennieva Ruben |
|
developheure DevelopHeure |
|
jdouglas50 Jim Douglas |
|
leslief84 H. Leslie Foster II |
|
|
jstony2000 José Antonio Pérez Rial |
|
|
ksenia K |
|
kd057 Klaus-Dieter Ost |
|
|
privatelink Sebastian |
|
topher Topher Chung |










