Skip to content

Update readme to point to proving repo. - #412

Merged
leo-starkware merged 1 commit into
mainfrom
leo/update_readme
Aug 12, 2026
Merged

Update readme to point to proving repo.#412
leo-starkware merged 1 commit into
mainfrom
leo/update_readme

Commits

Commits on Aug 12, 2026