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)
|
moisespsena Moisés Paes Sena |
|
morganwalker Morgan Walker |
|
nicolaslara Nicolas Lara |
|
suwushi sushi |
|
cga95 Christopher A |
|
jwells1 Jesse |
|
cftomhaley Tom Haley |
|
santamarcanda Santamarcanda |
