So how do you feel about tezos?

So how do you feel about tezos?

In this time of BTC dominance I am debating moving a bit of my BTC into alts, and tezos crossed my mind. I don’t own any coins from the smart contract platforms as of now.

What do you think of tezos, particularly compared to ETH? Their formal verification works seems unique and legitimate. Tezos never seems to get mentioned in this sub even though it obviously had a high profile journey to launch.