search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
494 stars 74 forks source link

test pickles types. #780

Closed fabrizio-m closed 1 year ago

fabrizio-m commented 1 year ago

extracted from #715

o1-david commented 1 year ago

ask richard for help here