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

Add freestyle840 to contributors #15410

Closed freestyle840 closed 9 months ago

freestyle840 commented 9 months ago

Hi Aleo team! I’m claiming my contributor badge for completing the New Developer Toolkit tutorial.

Tutorial Repo: https://github.com/freestyle840/tictactoe.git Requested badge: Tutorial

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.

freestyle840 commented 8 months ago

Hi Aleo team! I've been provided the required proof as a human being. Kindly allow me to have my deserving badge.