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)

tiffany869
Tiffany Pereira
initpwn
Joseph Philip
gcoxmozilla
Greg Cox
logrus
Jordan Benzing
rcarrillov
Raissa Carrillo Villamizar
yrmt
Youri Mouton
flowdeeps
Pete Haughie
kryosleep
Daryn St. Pierre
boycem7zj
Boyce Mcclaughry
mreid
Mark Reid