AbsInt/CompCert
@AbsIntCompCert, kompiler C yang diverifikasi secara formal.
Bintang
2.220
Fork
261
Bahasa
Rocq Prover
Lisensi
NOASSERTION
Push terakhir
5 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.