الصفحة الرئيسية>موارد بناء الموقع>بيانات الموقع
تنزيل

PROVER SLATE Interactive Prover

SLATE هو PROVER نظرية تفاعلية قيد التطوير حاليًا. يحتوي هذا المستودع على مكتبته القياسية.

الوصول إلى الويب

تم تصميم Slate كتطبيق ويب ؛ يمكن تحرير المكتبة بأكملها باستخدام واجهة الويب على https://slate-prover.org/.

تقوم واجهة الويب تلقائيًا بإنشاء شوكات شخصية لهذا المستودع لكل مساهم ، وترسل التقديمات كطلبات سحب.

التنمية المحلية

للحصول على مهام أكثر تعقيدًا ، نوصي بتمديد رمز Microsoft Visual Studio. يرجى اتباع التعليمات في تلك الصفحة.

يحتوي مستودع Slate على المكتبة كوحدة فرعية GIT. لتحميل التغييرات المحلية ، ستحتاج إلى إضافة شوكة خاصة بك كجهاز تحكم عن بعد لهذه الجهاز الفرعي.

يوسع
معلومات إضافية
تطبيقات ذات صلة
نوصي لك
أخبار ذات صلة الكل