Repository navigation

feat(A3): equivalence checking — the python port - #42

Merged

ronaldtse merged 1 commit into

mainfrom

feat/a3-equivalence

Oct 24, 2026

Merged

feat(A3): equivalence checking — the python port#42
ronaldtse merged 1 commit into
mainfrom
feat/a3-equivalence

Commits on Oct 24, 2026
- feat(A3): Interscript equivalence checking — the python port of the ruby contract
  ronaldtse
  committed
  80a6a28