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

[Feature] #28353

Open must479 opened 2 weeks ago

must479 commented 2 weeks ago

🚀 Feature

(Write your description here)

Motivation

(Outline your motivation here)

Implementation

Are you willing to open a pull request? (See CONTRIBUTING)