RT: An overview of our work on the formalization of Tenderbake in collaboration with @LabosNomades and @UnivParisSaclay 🚀🚀🚀 #tezos #tenderbake #pBFT @tezos @TezosInfo @XTZNews
https://functori.com/blog/blog...
RT：我们与@LabosNomades和@UnivParisSaclay合作，对Tenderbake的正式化工作进行了概述🚀🚀🚀 #tezos#tenderbake#pBFT@tezos@TezosInfo@XTZNews
https://functori.com/blog/blog...