HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverHOL4 定理證明系統的標準來源。develop 分支是「主線開發」發生的地方；當 develop 通過迴歸測試時，master 會向前合併以進行同步。
Stars
755
Forks
173
Language
Standard ML
License
NOASSERTION
Last push
1 天前
Related intel (0)
No related intel yet
This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.