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.









