proof-systems move ocaml-gen to https://github.com/o1-labs/ocaml-gen

move ocaml-gen to https://github.com/o1-labs/ocaml-gen

Open mimoo opened this issue 3 years ago • 3 comments

Mar 01 '22 03:03 mimoo

Stale issue message

Apr 30 '22 07:04 github-actions[bot]

Stale issue message

Jun 30 '22 07:06 github-actions[bot]

Stale issue message

Sep 06 '22 07:09 github-actions[bot]

@mimoo is this issue still valid?

Oct 27 '22 21:10 joseandro