astrio-labs/forall
@astrio-labsForall (∀) は Astrio のコーディングエージェントであり、仕様駆動型コードと機械検証可能な証明を同時に生成することで、開発者の正確なソフトウェア構築を支援します。
スター
598
フォーク
34
言語
Rust
ライセンス
Apache-2.0
最終プッシュ
6 日前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。