34: Deep Dive Into TLA https://blog.rchain.coop/podcast-player/5532/34-deep-dive-into-tla.m4a RChain developer Pawel Szulc leads a discussion on TLA (Temporal Logic of Actions) with Greg Meredith and Isaac DeFrain.
