Sign up to save your podcasts
Or
Share Hashing It Out #87-Informal Systems Ethan Buchman
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Hashing It Out #87-Informal Systems Ethan Buchman
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.
View all episodes
By Corey Petty, Demetrick Ferguson, Jessie Santiago
5
44 ratings
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.