Skip to content

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

Merged
hyperpolymath merged 3 commits into
mainfrom
claude/ephapax-architecture-plan-gzyctr
Nov 10, 2026
Merged

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

Merge origin/main into claude/ephapax-architecture-plan-gzyctr

a29e789
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar