メインコンテンツへスキップ
buildradar
ログイン

jrh13/hol-light

@jrh13

HOL Light定理証明系

スター
550
フォーク
99
言語
OCaml
ライセンス
NOASSERTION
最終プッシュ
4 日前
OCaml

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。