jrh13

ملف منشئ GitHub

jrh13

عرض على مستوى المستودعات لـ ١ skills مجمعة عبر ١ مستودعات GitHub.

github/jrh13 أكبر مستودع: hol-light

skills مجمعة

١

مستودعات

١

محدث

٤ يونيو ٢٠٢٦

خريطة المستودعات

أين توجد skills

أهم المستودعات حسب عدد skills المجمعة، مع حصتها من كتالوج هذا المنشئ وانتشارها المهني.

١ skills · ٤ يونيو ٢٠٢٦

مطوّرو البرمجيات

١ فئات مهنية · ١٠٠٪؜ مصنفة

١٠٠٪؜الحصة

مستكشف المستودعات

المستودعات و skills الممثلة

منشئ/مستودع/skill

١ skills٥٤٩٩٩تم التحديث ٤ يونيو ٢٠٢٦

١٠٠٪؜ من المنشئ

skill

المهنة

الوصف

آخر تحديث

مطوّرو البرمجيات

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.

٤ يونيو ٢٠٢٦

عرض ١ من أصل ١ مستودعات

تم تحميل كل المستودعات