leanprover-community

GitHub-Creator-Profil

leanprover-community

Repository-Ansicht von 2 gesammelten Skills in 2 GitHub-Repositories.

github/leanprover-community größtes Repository: lean-update

gesammelte Skills

2

Repositories

2

aktualisiert

17. Juni 2026

Repository-Karte

Wo die Skills liegen

Top-Repositories nach gesammelter Skill-Anzahl, mit ihrem Anteil an diesem Creator-Katalog und ihrer Berufsverteilung.

1 Skills · 17. Juni 2026

Softwareentwickler

1 Berufskategorien · 100 % klassifiziert

1 Skills · 26. März 2026

Netzwerk- und Computersystemadministratoren

1 Berufskategorien · 100 % klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills77aktualisiert 17. Juni 2026

50 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

create-release-note

Softwareentwickler

Use when writing release notes

1 Skills10aktualisiert 26. März 2026

50 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

windows-vm-incus

Netzwerk- und Computersystemadministratoren

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 von 2 Repositories angezeigt

Alle Repositories angezeigt