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 (14)

pommydave1010
David da pom
bucnong
Doan Manh Quang
brimil01
Brian Miller
7orean
LoreanRushiti
lollypopopop
Lollypopopop
arnaudtrouve
Arnaud Trouvé
mehxis
Justine Abua
rectof
andrew
einarmagnus
Einar Magnús Boson
balamanoharsam
Bala Manohar