Giters

ProvableHQ / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Home Page:https://leo-lang.org/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[Docs] The "bot" tag has not been removed

lad-sharper opened this issue · comments

commented

📚 Documentation

Hello, why didn't the bot tag be deleted from me, although I asked for it a long time ago, here is my question #10480 . Please remove the promised label.