Closed this issue 4 months ago · 2 comments
@garwalsh did you mean to add all these issues to the docs repo?
@ymekuria Yes. Zenhub defaulted to o1js. Closing