Repository navigation

Register the HPE post-wrapper uniqueness lemma (drawn card formal-interface-lemma) - #3052

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

navinor:research/agent-84-hpe-post-wrapper-636f26de-80692bf8

Oct 16, 2026

Merged

Register the HPE post-wrapper uniqueness lemma (drawn card formal-interface-lemma)#3052
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/agent-84-hpe-post-wrapper-636f26de-80692bf8

Commits on Oct 16, 2026
- Register HPE post-wrapper uniqueness lemma with exact instance binding
  navinor
  committed
  ae6dcf7