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)
|
edwink Edwin Kortman |
|
scalperos44 πΈβπ¨βπ¦βπ±βπ΅βπͺβπ·βπ΄βπΈβ |
|
rcdilorenzo Christian Di Lorenzo |
|
sergiobanos Sergio BaΓ±os |
|
armanhoq ARMAN |
|
ogun Kemal OgΓΌn IΕΔ±k |
|
edmundjsutcliffe Edmund J. Sutcliffe |
|
klaus77 Boye Jensen |
|
mehraso Mehran Sohani |
|
mkrekeler Marcell Krekeler |
