The proof systems used by Mina
Why do you think that https://github.com/tezedge/ocaml-interop is a good alternative to proof-systems
The proof systems used by Mina
Why do you think that https://github.com/tezedge/ocaml-interop is a good alternative to proof-systems