Informal Systems Ethan Buchman

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.

Listen to Episode

Listen on Other Platforms

• Spotify
• Apple Podcasts
• RSS Feed