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)

ayanozturk
Ayan Ozturk
galenlynch
Galen Lynch
xenonoblivion
samalani
taijimiyamoto
Taiji Miyamoto
tomasholcman
Tomá Holcman
l34n
Kevin Howard
anitastaver
Anita Staver
dannagle
Dan Nagle
rausherman
Nikita Funk
noodlefish
Jonathan B.
erictanguay
Eric Tanguay
vilisseranen
Clément Contini
tanveer
Tanveer Hossain