feat(coq-86): CLARA Gap-4 restraint_ctrl soundness proof — Theorem 86#6
Open
gHashTag wants to merge 1 commit into
Open
feat(coq-86): CLARA Gap-4 restraint_ctrl soundness proof — Theorem 86#6gHashTag wants to merge 1 commit into
gHashTag wants to merge 1 commit into
Commits
Commits on May 16, 2026
- committed
Trinity S3AI Research Group