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)

insid0r
Jay Dansand
fashgun
ICE
staticeffect
Security Panda
vauff
Vauff
jelenko555
Marko Jelenkovic
mgardner
M.J. Gardner
suchita
Suchitaj3
bauersc
Paul Bauerschmidt