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 (12)

demigodherqles
Quijan Coleman
phocean
phocean
cristie69
Cristie
arteal89
Alex Teal
pshushereba
Patrick Shushereba
jroberts837
Jeffrey Roberts