quick start
Installation and usage
HOL4 interactive proof development. Use when working with HOL4 proofs, .sml theorem files, Holmake builds, or hol-agent-helper.sh sessions. (project)
インストール
$ install --globalskills.sh
使い方
インストール後、ターミナルで以下のコマンドを実行してこのスキルを使用できます：
skills use hol