figure out if we can move as_prover from rust to ocaml

Question

o1-david opened this issue a year ago · comments