Repository navigation

ci(kernel-proofs): Agda 2.6.4.3 and the PROOF-POLICY §2.1 invocation - #285

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/new-session-ywdrth-agda-2643

Nov 10, 2026

Merged

ci(kernel-proofs): Agda 2.6.4.3 and the PROOF-POLICY §2.1 invocation#285
hyperpolymath merged 2 commits into
mainfrom
claude/new-session-ywdrth-agda-2643

Commits on Nov 9, 2026
- ci(kernel-proofs): Agda 2.6.4.3 and the PROOF-POLICY §2.1 invocation
  claude
  committed
  96511e4
Commits on Nov 10, 2026
- Merge branch 'main' into claude/new-session-ywdrth-agda-2643
  hyperpolymath
  authored
  f534207