HOL-Theorem-Prover

HOL4 定理證明系統的標準來源。develop 分支是「主線開發」發生的地方；當 develop 通過迴歸測試時，master 會向前合併以進行同步。