created: 20260507000000000
modified: 20260507000000000
tags: ResearchStack Alias
title: GlobalConsistency
type: text/vnd.tiddlywiki

! GlobalConsistency

Alias/redirect. See `Referenced in NetworkedSelfSolvingSpace.lean — global consistency theorem (in progress)`.