Curiously, the "Mina whitepaper" has no mention of "Mina", as the project was still called "Coda" when they wrote it. This is one of the very few blockchains w

Curiously, the "Mina whitepaper" has no mention of "Mina", as the project was still called "Coda" when they wrote it. This is one of the very few blockchains written in Ocaml.