let it be known that i just about now completed the port of prover.cppfrom here on out it's not so much work left.#devlog #scopes