ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
⭐ 4.8k
⑂ 717
Rust
GPL-3.0
· 3 天前推送
4.8k
Watchers
0
贡献者
0
Commits
0
Releases
169
Open Issues
3 天前
最近推送
原文
中文
暂无 README