Don't have Telegram yet? Try it now!
https://blog.trailofbits.com/2020/07/12/new-manticore-verifier-for-smart-contracts/
Contract verification made easier