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 (14)
|
bdelacretaz Bertrand Delacretaz |
|
watchcat Iakov Filimonov |
|
mntl Maximilian Jalea |
|
trunksjbz420 Trunks |
|
|
psekul Petar Sekul |
|
jajabinx JAJACA$H |
|
benjojo Ben Cartwright-Cox |
|
|
kelly_carson Kelly Carson |
|
fin fin |
|
maxnym Max Hampshire |
|
darcyaubin Darcy Aubin |
|
mrpatrickwest Patrick west |
