8000 Exercise the attested publication authority boundary by Mnehmos · Pull Request #22 · Mnehmos/MathOS · GitHub
[go: up one dir, main page]
Skip to content

Exercise the attested publication authority boundary - #22

Merged
Mnehmos merged 12 commits into
mainfrom
feat/publication-proof-authority
Jul 19, 2026
Merged

Exercise the attested publication authority boundary#22
Mnehmos merged 12 commits into
mainfrom
feat/publication-proof-authority

fix: use observed Lean thread syntax

5055815
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar
0