leanprover-community

Profil créateur GitHub

leanprover-community

Vue par dépôt de 2 skills collectés dans 2 dépôts GitHub.

github/leanprover-community plus grand dépôt : lean-update

skills collectés

2

dépôts

2

mis à jour

17 juin 2026

carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

1 skills · 17 juin 2026

Développeurs de logiciels

1 catégories métier · 100 % classifié

1 skills · 26 mars 2026

Administrateurs de réseaux et de systèmes informatiques

1 catégories métier · 100 % classifié

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

1 skills77mis à jour 17 juin 2026

50 % du créateur

skill

métier

description

mis à jour

create-release-note

Développeurs de logiciels

Use when writing release notes

1 skills10mis à jour 26 mars 2026

50 % du créateur

skill

métier

description

mis à jour

windows-vm-incus

Administrateurs de réseaux et de systèmes informatiques

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.

2 dépôts affichés sur 2

Tous les dépôts sont affichés