Skip to content

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

Simplify graph uniqueness proofs with rewriting

4ba0dd5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Build
succeeded Sep 30, 2026 in 14m 53s