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.

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

k4rtik
Kartik Singhal

Browse others (15)

timbroder
Tim Broder
nox
Markus Wegmann
dutchess
Django Jane
oerd
Oerd Cukalla
mesatal
Shelaputina Sosanna
azylman
Alex Zylman