docs(r3): TC2 Church-Rosser strict-claim activation analysis (research) - #1316

docs(r3): TC2 Church-Rosser strict-claim activation analysis (research)#1316

briansrls merged 3 commits into

maingunb-ai/gunbc:mainfrom

docs/r3-tc2-church-rosser-analysisgunb-ai/gunbc:docs/r3-tc2-church-rosser-analysisCopy head branch name to clipboard