mattrobball

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

gesammelte Skills

Repositories

aktualisiert

2026-04-01

Repository-Karte

Wo die Skills liegen

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

Repository-Explorer

Creator/Repository/Skill

Skill

Beruf

Beschreibung

Aktualisiert

Improve Lean proofs: style, readability, and golfing. Use when asked to improve, golf, compress, shorten, or clean up Lean proofs.

1 von 1 Repositories angezeigt

Alle Repositories angezeigt