Bu, en son sürümü x86_64-linux.tar.gz olarak indirilebilen Lean Copilot adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Lean Copilot with OnWorks isimli uygulamayı ücretsiz indirip online olarak çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
EKRAN
Ad
Yalın Yardımcı Pilot
AÇIKLAMA
LeanCopilot, Lean proof asistanında teorem ispatlama için yardımcı pilotlar olarak büyük dil modellerini (LLM'ler) entegre eder. Kullanıcılara taktikler, öncüller önererek ve ispatları arayarak yardımcı olur ve böylece resmi doğrulama süreçlerinin verimliliğini artırır. LeanCopilot, hem LeanDojo'dan yerleşik modelleri hem de özel modelleri destekler ve çeşitli kullanım durumları için esneklik sunar.
Özellikler
- LLM'lerin Lean proof asistanı ile entegrasyonu
- Taktik ve öncül önerileri
- Otomatik kanıt arama yetenekleri
- Yerleşik ve özel modeller için destek
Programlama dili
C + +
Kategoriler
Bu, https://sourceforge.net/projects/lean-copilot.mirror/ adresinden de alınabilen bir uygulamadır. Ücretsiz Operatif Sistemlerimizden birinden en kolay şekilde çevrimiçi olarak çalıştırılabilmesi için OnWorks'te barındırılmıştır.
