Skip to content

proof(types): lift type_preservation past τ=int to the int-represented family {int, hex, binary}#53

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-albattani-ubS9r
Jun 21, 2026
Merged

proof(types): lift type_preservation past τ=int to the int-represented family {int, hex, binary}#53
hyperpolymath merged 1 commit into
mainfrom
claude/dazzling-albattani-ubS9r

proof(types): lift type_preservation past τ=int to the int-represente…

d3bdfd4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar