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)
|
pjander Paul J. Anderson |
|
projectkodi Project Kodi (the wizaRD) |
|
mbautin Mikhail Bautin (Yugabyte) |
|
afarnham Aaron Farnham |
|
atoka93 Attila Szabó |
|
|
joppps Jonathan |
|
therevelation Karen Dossou |
|
devilkins Devlin Smith |
|
karontitwal Karon Walquist |
