jrh13

GitHub-Creator-Profil

jrh13

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

github/jrh13 größtes Repository: hol-light

gesammelte Skills

1

Repositories

1

aktualisiert

4. 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 · 4. Juni 2026

Softwareentwickler

1 Berufskategorien · 100 % klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills54999aktualisiert 4. Juni 2026

100 % des Creators

Skill

Beruf

Beschreibung

Aktualisiert

Softwareentwickler

Prove theorems in HOL Light via MCP tools. Use when the user asks to prove a theorem, verify a proof, or work with HOL Light tactics, goals, or lemmas.

1 von 1 Repositories angezeigt

Alle Repositories angezeigt