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)
|
robbrueckmann Rob Brueckmann |
|
burce Bryce Dorn |
|
kwomps Judi Clary |
|
mattplunkett Matt Plunkett |
|
|
freyja Freyja |
|
bounekkar Ahmed BOUNEKKAR |
|
|
hchauhan Harendra Singh Chauhan |
|
|
lgrech Leander Grech |
|
kilquick The Spag |
|
jimmy_2737 Jimmy Vallee |
|
gabry89 Gabriele Chiarin |
