Skip to content

Phase 1b: store-typed preservation (generalize preservation to an arbitrary context)#114

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh
Jun 28, 2026
Merged

Phase 1b: store-typed preservation (generalize preservation to an arbitrary context)#114
hyperpolymath merged 1 commit into
mainfrom
claude/v2-grammar-proofs-audit-1yqgxh

Phase 1b: store-typed preservation (generalize to arbitrary context)

9eb80c6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar