issues
search
o1-labs
/
snarky
OCaml DSL for verifiable computation
MIT License
492
stars
73
forks
source link
Add run_and_check_exn and friends - RAMPUP
#823
Closed
mitschabaude
closed
1 year ago
mitschabaude
commented
1 year ago
Add run_and_check_exn and friends
respect Runner.eval_constraints