跳到主要内容
buildradar
登录

jrh13/hol-light

@jrh13

HOL Light 定理证明器

星数
550
Fork 数
99
语言
OCaml
许可
NOASSERTION
最后推送
4天前
OCaml

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。