issues
search
o1-labs
/
snarky
OCaml DSL for verifiable computation
MIT License
492
stars
73
forks
source link
Fix GitHub actions CI, retire CircleCI
#838
Closed
mrmr1993
closed
6 months ago