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)
|
jeffsiegert Jeff Siegert |
|
dfornika Dan Fornika |
|
elisemartin Élise Martin |
|
nao20010128nao Naoya Ozaki |
|
frankm Frank Martinez |
|
rolandplanitz Roland Planitz |
|
|
adar Ankit |
|
mortonfox Morton Fox |
|
ethomson Edward Thomson |
|
wisteria_tlozhaa Äni |
|
grahamclarke Alexander Walker |
