leanprover-community

GitHub creator profile

leanprover-community

Repository-level view of 2 collected skills across 2 GitHub repositories.

github/leanprover-community largest repo: lean-update

skills collected

2

repositories

2

updated

Jun 17, 2026

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

1 skills · Jun 17, 2026

Software Developers

1 occupation categories · 100% classified

1 skills · Mar 26, 2026

Network & Computer Systems Administrators

1 occupation categories · 100% classified

repository explorer

Repositories and representative skills

creator/repo/skill

1 skills77updated Jun 17, 2026

skill

occupation

description

updated

create-release-note

software-developers

Use when writing release notes

1 skills10updated Mar 26, 2026

skill

occupation

description

updated

windows-vm-incus

network-and-computer-systems-administrators

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.

Showing 2 of 2 repositories

All repositories loaded