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)

dellock6
Luca Dell'Oca
cauchon
Justin Cauchon
cbabos
Csaba Babos
truzion
Karla
bluetime
Lorenzo Womack
flsesondlo
Karol Witkowski
gzzengwei
Wei Zeng
qahyah
Qah Yah