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 |