leanprover-community

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

leanprover-community

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

github/leanprover-community 最大リポジトリ: lean-update

収集済み skills

2

リポジトリ

2

更新

2026年6月17日

リポジトリマップ

skills がある場所

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

1 件の skills · 2026年6月17日

ソフトウェア開発者

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

1 件の skills · 2026年3月26日

ネットワーク・コンピュータシステム管理者

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

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

リポジトリと代表的な skills

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

1 件の skills772026年6月17日更新

クリエイター内の 50%

skill

職業分類

説明

更新

create-release-note

ソフトウェア開発者

Use when writing release notes

2026年6月17日

1 件の skills102026年3月26日更新

クリエイター内の 50%

skill

職業分類

説明

更新

windows-vm-incus

ネットワーク・コンピュータシステム管理者

Create and manage Windows VMs using Incus for local testing. Use when the user needs a Windows environment for testing, CI validation, or running Windows-specific tools.

2026年3月26日

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

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