المهنة
مطوّرو البرمجيات
الوصف
Mathlib4-derived best practices for writing and structuring Lean 4 libraries. Use when user asks to "add a Lean theorem", "create a Lean module", "review Lean code", "structure a Lean library like Mathlib", "fix a Lean build error", or works on `.lean` /…
لغة النص الأصلي: الإنجليزية
آخر تحديث