Post by @desney • Hey

StarkWare opens access to Stone Prover proof generation code. https://github.com/starkware-libs/stone-prover