Hashing It Out #87-Informal Systems Ethan Buchman

The Bitcoin Podcast Network ›

1:03:43 | Jul 9th, 2020

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....Show More