OCaml DSL for verifiable computation
Primary LanguageHTMLMIT LicenseMIT
No issues in this repository yet.