HOL-Theorem-Prover/HOL

SkillsMP は HOL-Theorem-Prover/HOL から 2 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

HOL-Theorem-Prover のプロフィール GitHub で見る

記録された最新のソース活動: 2026年7月26日 06:08

SkillsMP カタログ更新: 2026年8月30日 18:55

収集済み skills: 2

GitHub スター: 755
GitHub フォーク: 173

このリポジトリの skills

ソフトウェア開発者

1 件の職業カテゴリ · 100% 分類済み

skill

職業分類

説明

更新

hol4-development

ソフトウェア開発者

Conventions, build commands, and idioms for working on the HOL4 codebase as software — editing `.sml`/`.sig`/`*Script.sml` files, running `bin/build` or `Holmake`, refactoring modules, cleaning up dead code or stale comments, and navigating HOL4's directory…

原文の言語: 英語

2026-07-26

holmake-development

ソフトウェア開発者

Working on Holmake itself — modifying `tools/Holmake/`, diagnosing why a target rebuilds spuriously, debugging the dep graph, understanding the three-phase `bin/build` flow, the heap-as-implicit-dep mechanism, BIC node semantics, the `HFS_NameMunge`…

原文の言語: 英語

2026-05-30

収集済み skill 2 件中 2 件を表示しています。