astrio-labs/forall
@astrio-labsForall (∀) adalah agen koding dari Astrio yang membantu pengembang membangun perangkat lunak yang benar dengan menghasilkan kode berbasis spesifikasi beserta bukti yang dapat diperiksa oleh mesin.
Bintang
598
Fork
34
Bahasa
Rust
Lisensi
Apache-2.0
Push terakhir
6 hari yang lalu
Intel terkait (0)
Belum ada intel terkait
Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.