Prover/Convert projection protocol to a query#585

AlexandreBelling merged 15 commits into

prover/limitless-top-levelLFDT-Lineth/lineth-monorepo:prover/limitless-top-levelfrom

prover/convert-projection-to-queryLFDT-Lineth/lineth-monorepo:prover/convert-projection-to-queryCopy head branch name to clipboard