Hashing It Out #87-Informal Systems Ethan Buchman
Jul 09, 2020•1 hr 4 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
Dean and John interview the CEO of Informal Systems Ethan Buchman. Informal Systems is a company seeking to bring a formal verification process for TLA to the Cosmos/Tendermint network.
For the best experience, listen in Metacast app for iOS or Android