docs(formal-verification): keccak z3/QF-BV gate — the verification baseline - #923

Open

MauroToscano wants to merge 6 commits into

mainfrom

docs-keccak-formal-verification-baseline

Commits on Aug 10, 2026

docs(formal-verification): keccak z3/QF-BV gate — the verification baseline
MauroToscano
committed
53c3c5e

Commits on Aug 11, 2026

refactor(formal-verification): move the keccak gate to top-level formal_verification/
MauroToscano
committed
76ea1e1
feat(loc): report formal_verification/ lines as a standalone section
MauroToscano
committed
cea5474

Commits on Aug 13, 2026