"The simple fact that @Tezos really early on sought formal verification was a very positive aspect for us [@Edukera]..."
Watch the full interview w/ Benoit Rognier from #TezDev Paris 2022, presented by the #Tezos ecosystem.
https://youtu.be/KNaeJSnqRLo https://t.co/ISWLDPd0rt
“@Tezos 很早就寻求形式验证这一简单事实对我们 [@Edukera] 来说是一个非常积极的方面......”
观看来自 Benoit Rognier 的完整采访