vultr/openclaw
1
0
Fork 0
mirror of https://github.com/openclaw/openclaw.git synced 2026-05-06 09:20:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

docs: remove duplicate H1 where frontmatter title already sets it

Browse Source
This commit is contained in:
Vincent Koc
2026-04-23 13:11:14 -07:00
parent 219a11d2bd
commit 4a2cd533ac
251 changed files with 1 additions and 503 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/security/formal-verification.md
View File

@@ -7,8 +7,6 @@ read_when:
permalink: /security/formal-verification/
---
# Formal Verification (Security Models)
This page tracks OpenClaw’s **formal security models** (TLA+/TLC today; more as needed).
> Note: some older links may refer to the previous project name.