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)

niclas_a_truesec
Niclas Adlertz
octagonenigma
Christ Killer
lloyd
Lloyd Pic​k
gramath
Vensan Damen
mburns
Michael Burns
corradio
Olivier Corradi
shrinks99
Henry Wilkinson
ehalpern
Eric Halpern