Do you have any thoughts on tezos [0], which claims to have a formally verifiable language for its blockchain contracts?

[0] https://www.tezos.com/