Sounder SIGN UP FOR FREE
Hashing It Out
Hashing It Out

Episode 87 · 6 months ago

Hashing It Out #87-Informal Systems Ethan Buchman

ABOUT THIS EPISODE

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

The Bitcoin Podcast Network

In-Stream Audio Search

NEW

Search across all episodes within this podcast

Episodes (100)