The Bitcoin Podcast Network
Hashing It Out #87-Informal Systems Ethan Buchman
- Author: Vários
- Narrator: Vários
- Publisher: Podcast
- Duration: 1:03:42
- More information
Informações:
Synopsis
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.
