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)

jraybrown
Jeffrey Brown
ilmari28
Amelia Jokihaara
vschiavoni
Valerio Schiavoni
mateolargo
Matt Long
naveen
Naveen Selvadurai
jorgenri07
Jorge Alvarado
cblakkan
Cordell Blakkan
dollyspartan
Dandelion
patorgan
Patrick Organ