Skip to content

docs: Proven/Witnessed/Trusted ladder; correct believe_me and annotation claims - #344

Merged
hyperpolymath merged 2 commits into
mainfrom
docs/proof-honesty-ladder
Oct 6, 2026
Merged

docs: Proven/Witnessed/Trusted ladder; correct believe_me and annotation claims#344
hyperpolymath merged 2 commits into
mainfrom
docs/proof-honesty-ladder

docs: link the typecheck caveat to #343

e747484
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar