issues
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
[Badge - tmy559]
#18997
Closed
tmy559
closed
9 months ago
tmy559
commented
10 months ago
🥇 Leo Contributor Badge
🥇 Leo Contributor Badge