Remove the "of_ocaml" directory
This directory contains an outdated translation of the Michelson runtime using coq-of-ocaml. The updated version is now hosted at https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/.
This directory contains an outdated translation of the Michelson runtime using coq-of-ocaml. The updated version is now hosted at https://formal-land.gitlab.io/coq-tezos-of-ocaml/docs/proto_alpha/.