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)
|
antonikielkowski Antoni Kielkowski |
|
smack Susan McIntyre |
|
jvican Jorge Vicente Cantero |
|
sbandy Swarup Bandyopadhyay |
|
lesdeploables Tom K |
|
ckd3 Chuck Davis |
|
dcdoran Casey Doran |
|
|
rocketman Rocket Man |
|
marthaperez539 martha perrz gomez |
|
jpthiery Jean-Pascal THIERY |
