mattrobball

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

skills مجمعة

مستودعات

محدث

2026-04-01

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

أين توجد skills

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

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

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

skill

المهنة

الوصف

آخر تحديث

Improve Lean proofs: style, readability, and golfing. Use when asked to improve, golf, compress, shorten, or clean up Lean proofs.

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

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