Dit is de Linux-app Lean Copilot, waarvan de nieuwste versie kan worden gedownload als x86_64-linux.tar.gz. Deze kan online worden uitgevoerd via de gratis hostingprovider OnWorks voor werkstations.
Download en gebruik online gratis deze app met de naam Lean Copilot met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCHERMSCHERMEN:
Lean Copiloot
BESCHRIJVING:
LeanCopilot integreert grote taalmodellen (LLM's) als copiloten voor het bewijzen van stellingen in de Lean Proof Assistant. Het ondersteunt gebruikers door tactieken, premissen en het zoeken naar bewijzen voor te stellen, wat de efficiëntie van formele verificatieprocessen verbetert. LeanCopilot ondersteunt zowel ingebouwde modellen van LeanDojo als aangepaste modellen, wat flexibiliteit biedt voor diverse gebruiksscenario's.
Kenmerken
- Integratie van LLM's met Lean proof-assistent
- Suggesties voor tactieken en uitgangspunten
- Geautomatiseerde mogelijkheden voor het zoeken naar bewijsmateriaal
- Ondersteuning voor ingebouwde en aangepaste modellen
Programmeertaal
C + +
Categorieën
Deze applicatie kan ook worden gedownload van https://sourceforge.net/projects/lean-copilot.mirror/. Deze is gehost in OnWorks, zodat deze eenvoudig online kan worden uitgevoerd via een van onze gratis besturingssystemen.