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 (13)

simracer
Andrew Feldman
doublearon
Aaron Johnson
mgustav
Melvin Marple
ushf
Oisin Feeley
ojongerius
Otto Jongerius
kierang
Kieran
powerthijsnl
Thijs Bruekers