search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
492 stars 73 forks source link

Fix typos #835

Open GoodDaisy opened 7 months ago