métier
Développeurs de logiciels
description
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.
Langue du texte source : anglais
mis à jour
jrh13/hol-light
SkillsMP a collecté 1 skills depuis jrh13/hol-light. Ouvrez un skill pour examiner sa source et ses détails.
- Dernière activité source enregistrée
- Catalogue SkillsMP mis à jour
- skills collectés
- 1
- Étoiles GitHub
- 549
- Forks GitHub
- 99
Skills dans ce dépôt
1 catégories métier · 100% classifié
Affichage de 1 skills collectés sur 1.
skill
métier
description
mis à jour
Affichage de 1 skills collectés sur 1.