jrh13/hol-light
@jrh13Pembukti teorema HOL Light
Bintang
550
Fork
99
Bahasa
OCaml
Lisensi
NOASSERTION
Push terakhir
4 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.