HOL-Theorem-Prover

HOL4定理証明システムの公式ソース。developブランチは「メインライン開発」を行う場所であり、developが回帰テストに合格すると、masterが前方マージされて追いつきます。