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

Add gurdally to contributors #12499

Closed gurdally closed 9 months ago

gurdally commented 9 months ago

šŸ„‡ Leo Contributor Bad

Hi Aleo team! Iā€™m claiming my contributor badge for completing the New Developer Toolkit tutorial. Tutorial Repo: https://github.com/gurdally/tictactoe.git Requested badge: TUTORIAL