Ayuriel/openclaw
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge 312d9cfa0ef36c07ac20b0f978f1b69c855da561 into 598f1826d8b2bc969aace2c6459824737667218c

Browse Source
This commit is contained in:
Neil Mansilla 2026-03-21 04:32:09 +01:00 committed by GitHub
commit 5bcc1020b4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -26,7 +26,7 @@ misconfiguration safety), under explicit assumptions.
## Where the models live
Models are maintained in a separate repo: [vignesh07/openclaw-formal-models](https://github.com/vignesh07/openclaw-formal-models).
Models are maintained in a separate repo: [vignesh07/clawdbot-formal-models](https://github.com/vignesh07/clawdbot-formal-models).
## Important caveats