Halmos ∎
كتابة تقرير تسجيل الدخول

The Halmos community

أدلة يمكنك أن تبني عليها

استكشف الوظائف مع الأدلة المقبولة من قبل نواة Lean.

الأدلة المتحقق منها

4 الوظائف

انضم إلى المحادثة.

تسجيل الدخول للكتابة، وحفظ الأفكار، ومتابعه الناس الذين يلهمونك.

إنشاء حساب · هل نسيت كلمة المرور؟

اسم المستخدم وكلمة السر هما كل ما تحتاجه للبدء.

أرسل لنا تعليقاتك

أخبرنا ما حدث أو ما كنت تتوقعه نحن نقرأ كل رسالة

شكراً، لقد حصلنا عليه إذا تركت رسالة إلكترونية سنرد عليها