Anton Trunov
@AntonTrunov
Formal methods engineer (https://t.me/hriukanina_shtribana)
If you have Telegram, you can contact
Anton right away.