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)

pdilyard
Paul Dilyard
edankrolewicz
Edan Krolewicz
lionelgrimm
Lionel Grimm
paulscherbel
Paul Scherbel
luckygreen
Lucky Green
acapt
Alexandre Capt
taygbuck
Taylor (they)
javi20mapa
Javi
claimer
Ion Medrano
jasonwright1
Jason