Beruf
Netzwerk- und Computersystemadministratoren
Beschreibung
Manage Lean toolchain and Mathlib versions with backup, upgrade, and rollback support
Quellsprache: Englisch
Aktualisiert
Skills in diesem Repository
benbrastmckie/nvim - Seite 5
SkillsMP hat 167 Skills aus benbrastmckie/nvim gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
benbrastmckie/nvimEs werden 7 von 167 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Implement Python code. Invoke for Python-language implementation tasks.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Research Python development tasks. Invoke for Python-language research.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Implement Typst documents. Invoke for Typst-language implementation tasks.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Research Typst documentation tasks. Invoke for Typst-language research.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Implement Z3 constraints. Invoke for Z3-language implementation tasks.
Quellsprache: Englisch
Aktualisiert
Beruf
Softwareentwickler
Beschreibung
Research Z3/SMT tasks. Invoke for Z3-language research.
Quellsprache: Englisch
Aktualisiert
Es werden 7 von 167 gesammelten Skills angezeigt.