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)
|
cschep Chris Schepman |
|
aetherkn B.J. Orvis |
|
dhampton Daniel Hampton |
|
rbd Robert Dawson |
|
gandy Gandy Mahayaza |
|
|
yooks Sanyukta Kothari |
|
gherlein Greg Herlein |
|
lidashuang lidashuang |
|
maddie12921 Maddie |










