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