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)

frcepeda
Freddy Román
iside
Iside Di Carlo
minbis
Bis
highwiz
HighWiz
vroger
Virgil Roger
hakayova
E. Hakan Duran
claytron
Clayton Parker
jroith
Johannes Roith
ujikasy
Buijuys Pdokgay