تدوين التحليل الأول في لين: مشروع تعليمي تفاعلي
2025-05-31
يقوم الكاتب بتدوين كتابه في التحليل الحقيقي الذي يعود إلى 20 عامًا، "التحليل الأول"، باستخدام أداة البرهان لين. هذه ليست مجرد ترجمة؛ بل تتضمن تحويل التعريفات، والنظريات، والتمارين إلى كود لين. يمكن للقراء إكمال التمارين بملء "الأسف" في الكود، وتعلم لين ومكتبة ماثليب على طول الطريق. يشمل المشروع حاليًا عدة أقسام مترجمة، مع انتقال استراتيجي من بناء الأعداد الطبيعية "يدويًا" إلى مكتبة ماثليب القياسية. يدعو الكاتب المتطوعين لاختبار وتحسين المشروع.
التطوير
التحليل الحقيقي