Closed david415 closed 3 months ago
there's no Lean programming language here at all. false advertisement.
Before ranting it would have served you well to have read the into on leancrypto.org why it is called a lean crypto library.
there's no Lean programming language here at all. false advertisement.