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)
|
elieprud Élie Prud'Homme-Tessier |
|
jvoljvolizka Jvol Jvolizka |
|
maffeis Alessio Maffeis |
|
mihmih Mihai |
|
|
jbassett Jonah Bassett |
|
lapytopy lptprjh |
|
cspray Charles Sprayberry |
|
epfelbutze Epfel Butze |
|
|
alainj Alain Jennotte |
