Skip to main content
skillsmp

Menü

Jeden Skill in Manus ausführen
mit einem Klick
Kernel-Science
GitHub-Creator-Profil

Kernel-Science

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

github/Kernel-Sciencegrößtes Repository: physlibsearch
gesammelte Skills
1
Repositories
1
aktualisiert
2026-04-22
Repository-Karte

Wo die Skills liegen

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

#01
physlibsearch
1 Skills · 2026-04-22
Softwareentwickler
1 Berufskategorien · 100% klassifiziert
100%Anteil
Repository-Explorer

Repositories und repräsentative Skills

#001
physlibsearch
1 Skills92aktualisiert 2026-04-22
100% des Creators
physlibsearch
Softwareentwickler

Semantic search over Physlib, a formal Lean 4 library of physics theorems and definitions. Use when asked to find Lean 4 declarations related to physics or mathematics, look up formal proofs, retrieve theorem signatures, or browse the Physlib module hierarchy.

2026-04-22
1 von 1 Repositories angezeigt
Alle Repositories angezeigt