Skip to content

docs: scope 'formally verified' to the specific proven properties (FV-review honesty)#252

Merged
avrabe merged 2 commits into
mainfrom
fix/verification-claim-honesty
Jul 18, 2026
Merged

docs: scope 'formally verified' to the specific proven properties (FV-review honesty)#252
avrabe merged 2 commits into
mainfrom
fix/verification-claim-honesty

Merge branch 'main' into fix/verification-claim-honesty

a88daad
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar