RChain (REV) is a token of a leader-less smart contract platform that provides linear scalability.

RChain news today, REV crypto latest news of coin ticker

RChain

This week's Casper Standup covered a refinement of the OSLF construction for foundations of mathematics. We looked at a specific version of the element-of predicate and how that works for Set, MultiSet, and FuzzySet.

CASPER STANDUP 190 JUL 5 2021

Telegram

This week's Casper Standup covered a refinement of the OSLF construction for foundations of mathematics. We looked at a specific version of the element-of predicate and how that works for Set, MultiSet, and FuzzySet. https://youtu.be/x4qqCzltEcg