هذا هو تطبيق لينكس Lean Copilot، ويمكن تنزيل أحدث إصدار منه بصيغة x86_64-linux.tar.gz. ويمكن تشغيله عبر الإنترنت من خلال موفر الاستضافة المجاني OnWorks لمحطات العمل.
قم بتنزيل وتشغيل هذا التطبيق المسمى Lean Copilot مع OnWorks مجانًا عبر الإنترنت.
اتبع هذه التعليمات لتشغيل هذا التطبيق:
- 1. قم بتنزيل هذا التطبيق على جهاز الكمبيوتر الخاص بك.
- 2. أدخل في مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX باسم المستخدم الذي تريده.
- 3. تحميل هذا التطبيق في هذا الملف.
- 4. ابدأ تشغيل OnWorks Linux عبر الإنترنت أو محاكي Windows عبر الإنترنت أو محاكي MACOS عبر الإنترنت من هذا الموقع.
- 5. من نظام تشغيل OnWorks Linux الذي بدأته للتو ، انتقل إلى مدير الملفات الخاص بنا https://www.onworks.net/myfiles.php؟username=XXXXX مع اسم المستخدم الذي تريده.
- 6. قم بتنزيل التطبيق وتثبيته وتشغيله.
SCREENSHOTS
Ad
مساعد الطيار الهزيل
الوصف
يدمج LeanCopilot نماذج اللغات الكبيرة (LLMs) كمساعدين لإثبات النظريات في مساعد Lean proof. يساعد المستخدمين من خلال اقتراح أساليب ومقدمات بحثية والبحث عن أدلة، مما يعزز كفاءة عمليات التحقق الرسمية. يدعم LeanCopilot كلاً من النماذج المدمجة من LeanDojo والنماذج المخصصة، مما يوفر مرونةً لمختلف حالات الاستخدام.
شرح المميزات:
- دمج برامج الماجستير في القانون مع مساعد Lean proof
- اقتراحات للتكتيكات والمقدمات
- إمكانيات البحث الآلي عن الأدلة
- دعم النماذج المضمنة والمخصصة
لغة البرمجة
C + +
الأقسام
هذا تطبيق يُمكن تنزيله أيضًا من https://sourceforge.net/projects/lean-copilot.mirror/. وقد استُضيف في OnWorks لتشغيله عبر الإنترنت بسهولة من أحد أنظمتنا التشغيلية المجانية.
