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)
|
ziyadmir Ziyad Mir |
|
stonith Frank Hörmann |
|
pietromenna Pietro Francesco Menna Ruiz Diaz |
|
omgimalexis Alexis Tyler |
|
dhaya Dhaya Benmessaoud |
|
securedmh Dewayne Hicks |
|
alobbs Alvaro Lopez Ortega |
|
galaxywarrior29 Random Person |
|
jmcanally Jeremy McAnally |
