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)

flokosiol
Flo Kosiol
mkhalilzadeh
Mehdi Khalilzadeh
shaung
Shaun Ganley
k2exe
Mark K2EXE
cwillsieest
Conor Willsie
mammademin
Emin
komon
komon
pb13
parin b
ghourlier
SublimeGaby