62: Predicate Calculus for RChain https://blog.rchain.coop/podcast-player/5502/62-predicate-calculus-for-rchain.m4a Christian Williams discusses the results of his latest work with Greg Meredith and Isaac DeFrain.