Hashing It Out #87-Informal Systems Ethan Buchman

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.

Links: Informal Systems

• Website
• Twitter
• Github

The Bitcoin Podcast Network

• Slack
• Donate to Hashing It Out

• Discuss