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.
Want to check another podcast?
Enter the RSS feed of a podcast, and see all of their public statistics.
This website doesn't track the visitors or use any cookies. Made by Alex Barredo. Send your feedback to alex@barredo.es.
