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.8k stars 655 forks source link

[Badge - sifrediblue] #10911

Closed sifrediblue closed 9 months ago

sifrediblue commented 9 months ago

🥇 Leo Contributor Badge

(Fill in the request here.)

ghost commented 9 months ago

This issue does not qualify for a contributor badge because a bot is suspected. If you are not a bot, please reach out to us directly and provide proof.

sifrediblue commented 8 months ago

i am not bot please)