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)

jeffsiegert
Jeff Siegert
dfornika
Dan Fornika
elisemartin
Élise Martin
nao20010128nao
Naoya Ozaki
frankm
Frank Martinez
rolandplanitz
Roland Planitz
adar
Ankit
mortonfox
Morton Fox
ethomson
Edward Thomson
grahamclarke
Alexander Walker