Skip to content

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

Merge branch 'main' into claude/new-session-ywdrth-agda-2643

f534207
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar