issues
search
o1-labs
/
snarky
OCaml DSL for verifiable computation
MIT License
496
stars
74
forks
source link
ask joseandro about double arrow connections between snarky and core board
#734
Closed
o1-david
closed
1 year ago