Download
Anton Trunov
@AntonTrunov
Compilers, contract audits, correctness, formal verification
Send Message
If you have
Telegram
, you can contact
Anton
right away.