docs: strengthen formal proof framing#100

Navi Bot (project-navi-bot) merged 1 commit into

mainProject-Navi/ordvec:mainfrom

codex/formal-proof-docsProject-Navi/ordvec:codex/formal-proof-docsCopy head branch name to clipboard