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)

wagy
Osakinle John
kb033746
Heather
cloudquery
CloudQuery
smedberg
Michael Smedberg
mouyaq
mouyaq
alexrojkov
Alexandra Rojkov
seascape_1
Aidan R
rlasch
Robert Lasch
nasnl
Nas