ProvableHQ/leo
@ProvableHQ🦁 Leo 编程语言。为形式验证、零知识应用而设计的编程语言
星数
4,821
Fork 数
715
语言
Rust
许可
GPL-3.0
最后推送
3周前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
🦁 Leo 编程语言。为形式验证、零知识应用而设计的编程语言
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。