34: Deep Dive Into TLA

Published: July 10, 2019, midnight

RChain developer Pawel Szulc leads a discussion on TLA (Temporal Logic of Actions) with Greg Meredith and Isaac DeFrain.