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)
|
mattnippert Matt Nippert |
|
ageis Kevin M. Gallagher |
|
captainbern CaptainBern |
|
falkonpunch kayla |
|
sstupis Spencer Tupis |
|
1245124512445154 MH账号：fyblovefyb |
|
thebmw Brandon Warner |
|
jorgetesta Jorge Testa |
|
|
nerdsville Joshua Santos |
