seL4/l4v
@seL4Spesifikasi dan bukti seL4
Bintang
636
Fork
127
Bahasa
Isabelle
Lisensi
NOASSERTION
Push terakhir
16 jam 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.