search

ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
https://leo-lang.org/
GNU General Public License v3.0
4.77k stars 656 forks source link

Aleo ZK House Lagos, Nigeria - eurocodes #26864

Closed eurocodes closed 9 months ago

eurocodes commented 9 months ago

🥇 Leo Contributor Badge

(Fill in the request here.)

ghost commented 9 months ago

Duplicate issue, closing.