anton_trunov
Anton Trunov
I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain
Saint Petersburg, Russia

It is proven!

falsenov and anton_trunov are the same person, with the same public keys. You can see the proof or close this notice.

Following (1)

ichistmeinname
Sandra Dylus

Followers (0)

Browse others (15)

gianluca313
Gianluca Ficarelli
segu
Andres Segurola
theconstructor
TheConstructor
rtz
exa
Gaëtan Guéraud
asngari
el7elfawe
ltgiv
Louis T. Getterman IV
sumanthb
Sumanth Basani
forsbergannbr
Nikolaus Gustafsson
alexmufatti
Alex Mufatti
pierfox
Piero🦊Fox🦊Foschi