المهنة
غير مصنف
الوصف
Work on external Lean projects through the installed `lean-beam` wrapper, using speculative checks and zero-build module checkpoints instead of repeated inner-loop builds.
لغة النص الأصلي: الإنجليزية
آخر تحديث
leanprover/lean-beam
- آخر نشاط مصدر مسجل
- آخر تحديث لفهرس SkillsMP
- skills مجمعة
- ١
- نجوم GitHub
- ٤٣
- تفرعات GitHub
- ٥
التثبيت بمساعدة مساعد ذكي
انسخ هذا الطلب إلى المساعد الذكي الذي تستخدمه.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/leanprover/lean-beam.جارٍ تحميل ملف README للمستودع…
Skills في هذا المستودع
التصنيف قيد الانتظار
عرض ١ من أصل ١ skills مجمعة.
skill
المهنة
الوصف
آخر تحديث
عرض ١ من أصل ١ skills مجمعة.