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.78k stars 659 forks source link

[Badge - mahisa239] #8415

Open Mahisa239 opened 11 months ago

Mahisa239 commented 11 months ago

🥇 Leo Contributor Badge

(Fill in the request here.)

Mahisa239 commented 9 months ago

hi please approve my badge