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