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 (13)
|
burhanyasar burhanyasar |
|
cryptoquiin Ma. czarina mai delos reyes |
|
thomherg Thomas Hergenröther |
|
waingram Bill Ingram |
|
|
lstauffer Liliana Stauffer |
|
|
kalbir Kalbir Sohi |
|
jkobyp Koby Picker |
|
|
samihonkonen Sami Honkonen |
|
cai_bcovey Cai M |
|
|
vatsal1989 Vatsal Sevak |
