Bahasa Pemrograman · Isabelle

Isabelle

Repositori open source terpantau dengan Isabelle sebagai bahasa utama, diurutkan berdasarkan bintang.

2 repositori

#1
elle@jepsen-ioIsabelle
Pemeriksa keamanan transaksional kotak-hitam berdasarkan deteksi siklus
★ 703+1Perubahan bintang dalam 7 hari terakhir
#2
l4v@seL4Isabelle
Spesifikasi dan bukti seL4
★ 632+3Perubahan bintang dalam 7 hari terakhir