لقد كنت أقوم بتطوير البيئات خلال الأسبوع الماضي. أعتقد أن هذا يمكن أن يصلح احتياجات بيئة RL للجماهير. كان هناك الكثير من الأشياء المثيرة للاهتمام والرائعة التي يجب اختبارها ، بما في ذلك بيئة التدقيق متعددة الأدوار Lean4 المستوحاة من StepRunProver التي قمت بإنشائها.