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 个 skills77更新于 2026年6月17日

占该创作者 50%

skill

职业分类

描述

更新

create-release-note

软件开发工程师

Use when writing release notes

2026年6月17日

1 个 skills10更新于 2026年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 个仓库

已展示全部仓库