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)
|
zeta_the_n00b Alper KOÇER |
|
gaznox Steve |
|
jvandillen James Van Dillen |
|
alperenelhan Alperen Elhan |
|
researchkitty Research Kitty |
|
jabelone Jaimyn Mayer |
|
shourai Bastian |
|
tinblock tansel |
|
montmanu Chris Montoro |
|
courtney65 Joshua Carter |
