المهنة
مطوّرو البرمجيات
الوصف
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.
لغة النص الأصلي: الإنجليزية
آخر تحديث
jrh13/hol-light
جمع SkillsMP عدد ١ من skills من jrh13/hol-light. افتح أي skill لمراجعة مصدره وتفاصيله.
- آخر نشاط مصدر مسجل
- آخر تحديث لفهرس SkillsMP
- skills مجمعة
- ١
- نجوم GitHub
- ٥٤٩
- تفرعات GitHub
- ٩٩
Skills في هذا المستودع
١ فئات مهنية · 100% مصنفة
عرض ١ من أصل ١ skills مجمعة.
skill
المهنة
الوصف
آخر تحديث
عرض ١ من أصل ١ skills مجمعة.