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)
|
orenonou Alexis Sebastián |
|
blendle Blendle |
|
ruiquelhas Rui Quelhas |
|
dipeshkhawase Dipesh Khawase |
|
gaylordkeeton Gaylord |
|
jacobsims Jacob Sims |
|
isomr Anthony Lander |
|
trevorglick trevor glick |
|
irisc21464 Iris C. |
|
queensland DIKI RIFALDI |
