Skip to content

proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real - #198

Open
hyperpolymath wants to merge 2 commits into
mainfrom
claude/ephapax-architecture-plan-gzyctr
Open

proofs: scope vacuous Agda CNO fields, fix archived PROOF-STATUS paths, pin stdlib, make OND-3 writer Z3 check real#198
hyperpolymath wants to merge 2 commits into
mainfrom
claude/ephapax-architecture-plan-gzyctr

Commits

  1. Commits on Nov 9, 2026