Ito ang Linux app na pinangalanang Lean Copilot na ang pinakabagong release ay maaaring ma-download bilang x86_64-linux.tar.gz. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Lean Copilot sa OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA SCREENSHOT:
Lean Copilot
DESCRIPTION:
Isinasama ng LeanCopilot ang mga malalaking modelo ng wika (LLM) bilang mga copilot para sa theorem na nagpapatunay sa Lean proof assistant. Tinutulungan nito ang mga gumagamit sa pamamagitan ng pagmumungkahi ng mga taktika, lugar, at paghahanap ng mga patunay, sa gayo'y pinapahusay ang kahusayan ng mga pormal na proseso ng pag-verify. Sinusuportahan ng LeanCopilot ang parehong mga built-in na modelo mula sa LeanDojo at mga custom na modelo, na nag-aalok ng flexibility para sa iba't ibang kaso ng paggamit.
Mga tampok
- Pagsasama ng mga LLM sa Lean proof assistant​
- Mga mungkahi para sa mga taktika at lugar
- Automated proof search na mga kakayahan
- Suporta para sa built-in at custom na mga modelo
Wika ng Programming
C + +
Kategorya
Ito ay isang application na maaari ding makuha mula sa https://sourceforge.net/projects/lean-copilot.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.