The Bitcoin Podcast Network
Hashing It Out #87-Informal Systems Ethan Buchman
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 1:03:42
- Mas informaciones
Informações:
Sinopsis
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.
