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