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)
|
quaff quaff |
|
wimvanleuven Wim Van Leuven |
|
jakdouglas Jack Douglas |
|
guigarage Hendrik Ebbers |
|
armeck Aaron Meck |
|
agromanowska Agnieszka Gromanowska |
|
chanhnguyen Chanh Nguyen |
|
climbsrocks Preston Parry |
|
sarahblanchard Sarah Blanchard |
|
bigdaddy101 Big Daddy |
|
pizzathehutt Chris B |
