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)

nerobro
Nero Wolfe
ludvigguf
Ludvig Guf
ivlpeter
Peter MacDonald
sriyanah
sriyanah
priitsild
Sergey Pulk
symbiote123
Justin Poser
mariobarbosa
Mário Barbosa
bakkerl
LD Bakker