Skip to content

proof: meet the canonical Agda invocation (--cubical-compatible); grades as PWG-3 - #26

Closed
hyperpolymath wants to merge 2 commits into
mainfrom
claude/cubical-compatible
Closed

proof: meet the canonical Agda invocation (--cubical-compatible); grades as PWG-3#26
hyperpolymath wants to merge 2 commits into
mainfrom
claude/cubical-compatible

Commits

  1. Commits on Nov 9, 2026