HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverSumber kanonis untuk sistem pembuktian teorema HOL4. Cabang develop adalah tempat terjadinya "pengembangan utama"; ketika develop lolos pengujian regresi, master digabungkan ke depan untuk menyusul.
Bintang
757
Fork
173
Bahasa
Standard ML
Lisensi
NOASSERTION
Push terakhir
3 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.