Skip to content

§8.3's second algorithm: owner monitoring, and §12.3.6's incomplete list - #22

Merged
OR13 merged 1 commit into
mainfrom
owner-monitor
Jul 29, 2026
Merged

§8.3's second algorithm: owner monitoring, and §12.3.6's incomplete list#22
OR13 merged 1 commit into
mainfrom
owner-monitor

Why: the one algorithm whose proof stops it, rather than it stopping …

adfd7ea
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar