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)
|
rjmooney Robert Mooney |
|
erikiker Erik Iker |
|
knudfjeldsted Knud Fjeldsted DNK |
|
rafaelo78 Stanislav Popov |
|
caliburn3_3 fz |
|
ravindk89 Ravind |
|
|
exxess exxess |
|
graysonestes Grayson Estes |
|
|
tanglebones Cliff Hammerschmidt |
|
brianbum Brian |
