HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverHOL4定理証明システムの公式ソース。developブランチは「メインライン開発」を行う場所であり、developが回帰テストに合格すると、masterが前方マージされて追いつきます。
スター
757
フォーク
173
言語
Standard ML
ライセンス
NOASSERTION
最終プッシュ
15 時間前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。