RCast 62: Predicate Calculus for RChain

RCast 62: Predicate Calculus for RChain

Subscribe to RCast on iTunes | Google Play | Stitcher Christian Williams discusses the results of his latest research with Greg Meredith and Isaac DeFrain. This paper was referenced during the talk. The corresponding slides are below the...