We found 1 episode of Citizen Web3 with the tag “quint”.
-
Formal Verification, Innovation and Consensus with Zarko Milosevic
26 January 2023 | 54 mins 20 secs
quint, tendermint, zarko melosovic
This episode of the #citizenweb3 podcast features Zarko Milosevic CTO at Informal Systems, a core developer of the Cosmos Network