Beruf
Softwareentwickler
Beschreibung
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.
Quellsprache: Englisch
Aktualisiert
jrh13/hol-light
SkillsMP hat 1 Skills aus jrh13/hol-light gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.
- Letzte erfasste Quellaktivität
- SkillsMP-Katalog aktualisiert
- gesammelte Skills
- 1
- GitHub-Stars
- 549
- GitHub-Forks
- 99
Skills in diesem Repository
1 Berufskategorien · 100% klassifiziert
Es werden 1 von 1 gesammelten Skills angezeigt.
Skill
Beruf
Beschreibung
Aktualisiert
Es werden 1 von 1 gesammelten Skills angezeigt.