astrio-labs/forall
@astrio-labsForall (∀) 是來自 Astrio 的編碼代理程式，透過產生規格驅動的程式碼與機器可檢查的證明，幫助開發者建構正確的軟體。
星數
598
Fork 數
34
語言
Rust
授權
Apache-2.0
最後推送
19 小時前
相關情報（0）
還沒有相關情報
radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。
Forall (∀) 是來自 Astrio 的編碼代理程式，透過產生規格驅動的程式碼與機器可檢查的證明，幫助開發者建構正確的軟體。
radar 追蹤的來源裡還沒有出現過這個 repo。收集器照排程執行——等它涵蓋到這個 repo 再回來看看。