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)
|
serbianknight Nenad Vesic |
|
hiraksarkar Hirak Sarkar |
|
evasco1996 Eduardo Vasco |
|
baltar JD Smith |
|
teijokivi Viljo Jortikka |
|
|
robhayes_cargill Rob Hayes |
|
kennyfvrschuit Kenny Schuit |
|
tuomo Tuomo Makkonen |
|
tomproenza Tom |
|
jason_locklin Jason Locklin |
