Skip to content

docs(verification): honest, gated verification claims (drop "Formally Verified" overclaim) - #423

Merged
avrabe merged 1 commit into
mainfrom
docs/verification-honesty
Jul 11, 2026
Merged

docs(verification): honest, gated verification claims (drop "Formally Verified" overclaim)#423
avrabe merged 1 commit into
mainfrom
docs/verification-honesty

docs(verification): replace "Formally Verified" overclaim with gated,…

d00fdef
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 11, 2026 in 1s

Coverage not affected when comparing f963401...d00fdef

View this Pull Request on Codecov

Coverage not affected when comparing f963401...d00fdef

View more details on Codecov