ci(proofs): run the Agda core in CI under the PROOF-POLICY §2.1 invocation - #18

ci(proofs): run the Agda core in CI under the PROOF-POLICY §2.1 invocation#18

hyperpolymath merged 7 commits into

mainhyperpolymath/occupancy-types:mainfrom

claude/new-session-ywdrth-agda-gatehyperpolymath/occupancy-types:claude/new-session-ywdrth-agda-gateCopy head branch name to clipboard