Pemilik · HOL-Theorem-Prover

HOL-Theorem-Prover

Repositori open source terpantau milik HOL-Theorem-Prover, diurutkan berdasarkan bintang.

1 repositori

#1
HOL ↗@HOL-Theorem-ProverStandard ML
Sumber kanonis untuk sistem pembuktian teorema HOL4. Cabang develop adalah tempat terjadinya "pengembangan utama"; ketika develop lolos pengujian regresi, master digabungkan ke depan untuk menyusul.
★ 757+3Perubahan bintang dalam 7 hari terakhir