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)

moosejive
Cyndi Hollandbeck
dolfelt
Daniel Olfelt
linhj89everet
Linh Everet
superkinimod
Dominik Schmitz
jodkonis
Evaldas Jodkonis
johnxhuang
John Huang
muonnek
Velyasheva Liya
alexfitiskin
Alex Fitiskin