Is Tezos safe?

Tezos is one of the leading smart contracts Proof of Stake blockchains. Tezos smart contracts can use formal verification, allowing them to be mathematically verified, reliable, and secure .