Ini adalah aplikasi Linux bernama Lean Copilot yang rilis terbarunya dapat diunduh sebagai x86_64-linux.tar.gz. Aplikasi ini dapat dijalankan secara daring di penyedia hosting gratis OnWorks untuk stasiun kerja.
Unduh dan jalankan aplikasi ini secara online bernama Lean Copilot dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Tangkapan layar
Ad
Kopilot Ramping
DESKRIPSI
LeanCopilot mengintegrasikan model bahasa besar (LLM) sebagai kopilot untuk pembuktian teorema dalam asisten pembuktian Lean. Ia membantu pengguna dengan menyarankan taktik, premis, dan mencari pembuktian, sehingga meningkatkan efisiensi proses verifikasi formal. LeanCopilot mendukung model bawaan dari LeanDojo dan model khusus, yang menawarkan fleksibilitas untuk berbagai kasus penggunaan.
Fitur
- Integrasi LLM dengan asisten Lean proof
- Saran untuk taktik dan premis
- Kemampuan pencarian bukti otomatis
- Dukungan untuk model bawaan dan khusus
Bahasa Pemrograman
C + +
Kategori
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/lean-copilot.mirror/. Aplikasi ini dihosting di OnWorks agar dapat dijalankan secara daring dengan cara termudah dari salah satu Sistem Operasi gratis kami.
