jrh13

GitHub クリエイタープロフィール

jrh13

1 件の GitHub リポジトリにある 1 件の収集済み skills をリポジトリ単位で表示します。

github/jrh13 最大リポジトリ: hol-light

収集済み skills

1

リポジトリ

1

更新

2026年6月4日

リポジトリマップ

skills がある場所

収集済み skill 数が多いリポジトリを、このクリエイターカタログ内の比率と職業範囲とともに表示します。

1 件の skills · 2026年6月4日

ソフトウェア開発者

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

リポジトリエクスプローラー

リポジトリと代表的な skills

クリエイター/リポジトリ/skill

1 件の skills549992026年6月4日更新

クリエイター内の 100%

skill

職業分類

説明

更新

ソフトウェア開発者

Prove theorems in HOL Light via MCP tools. Use when the user asks to prove a theorem, verify a proof, or work with HOL Light tactics, goals, or lemmas.

2026年6月4日

1 件中 1 件のリポジトリを表示

すべてのリポジトリを表示しました