Repository navigation

feat(InputOutput): prove isGraph_inputOutput and isGraph_inputState - #71

Open

AdoHaha wants to merge 3 commits into

mcdoll:mainfrom

AdoHaha:feat/input-output-graphs

Open

feat(InputOutput): prove isGraph_inputOutput and isGraph_inputState#71
AdoHaha wants to merge 3 commits into
mcdoll:mainfrom
AdoHaha:feat/input-output-graphs

Commits on Sep 15, 2026
- feat(InputOutput): prove isGraph_inputOutput and isGraph_inputState
  Igor
  committed
  dc85003
Commits on Sep 30, 2026
- Merge upstream main into input-output graph branch
  Igor
  committed
  ad25224
- Simplify graph uniqueness proofs with rewriting
  Igor
  committed
  4ba0dd5