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)
|
tabethazigler Tabetha Zigler |
|
gonzalezdiazj Juan Angel Gonzalez Diaz |
|
closte Steve Clough |
|
infested Jonathan |
|
|
haltintas haydar altintas |
|
|
matma6 Michał Gabor |
|
devost Matt Devost |
|
jokoirwanto Joko Irwanto |
|
jasonbonbon alcatraz |
|
mentaat Piotr Michalik |
|
martinarobert Martina Robert |
|
klaudiajaworska Klaudia Jaworska |
