Este é o aplicativo Linux chamado Lean Copilot, cuja versão mais recente pode ser baixada como x86_64-linux.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute on-line este aplicativo chamado Lean Copilot com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
Copiloto Lean
DESCRIÇÃO
O LeanCopilot integra modelos de linguagem de grande porte (LLMs) como copilotos para demonstração de teoremas no assistente de demonstração Lean. Ele auxilia os usuários sugerindo táticas, premissas e buscando demonstrações, aumentando assim a eficiência dos processos formais de verificação. O LeanCopilot suporta modelos integrados do LeanDojo e modelos personalizados, oferecendo flexibilidade para diversos casos de uso.
Recursos
- Integração de LLMs com assistente de prova Lean
- Sugestões de táticas e premissas
- Capacidades de pesquisa de provas automatizadas
- Suporte para modelos integrados e personalizados
Linguagem de Programação
C + +
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/lean-copilot.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.
