ProvableHQ/leo
@ProvableHQ🦁 Leo 程式語言。為形式驗證、零知識應用而設計的程式語言
星數
4,821
Fork 數
715
語言
Rust
授權
GPL-3.0
最後推送
3 週前
相關情報（0）
還沒有相關情報
radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。
🦁 Leo 程式語言。為形式驗證、零知識應用而設計的程式語言
radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。