Repository navigation

feat(proofs): faithful trust-rule model in Agda with a Rocq recheck - #484

Closed

hyperpolymath wants to merge 2 commits into

mainfrom

claude/trust-rule-model

Closed

feat(proofs): faithful trust-rule model in Agda with a Rocq recheck#484
hyperpolymath wants to merge 2 commits into
mainfrom
claude/trust-rule-model

Commits on Nov 9, 2026
- feat(proofs): faithful trust-rule model in Agda with a Rocq recheck
  claude
  committed
  dbeb616
- fix(proofs): gate the Rocq legs on coqchk, not a theorem-name regex
  claude
  committed
  b4a74ea