anton_trunov
Anton Trunov
I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain
Saint Petersburg, Russia
Start a chat
Your conversation will be end-to-end encrypted.

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
ckd3
Chuck Davis
dcdoran
Casey Doran
rocketman
Rocket Man
marthaperez539
martha perrz gomez
jpthiery
Jean-Pascal THIERY