Esta es la aplicación para Linux llamada Lean Copilot, cuya última versión se puede descargar como x86_64-linux.tar.gz. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.
Descargue y ejecute en línea esta aplicación llamada Lean Copilot con OnWorks de forma gratuita.
Siga estas instrucciones para ejecutar esta aplicación:
- 1. Descargue esta aplicación en su PC.
- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 3. Cargue esta aplicación en dicho administrador de archivos.
- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.
- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.
- 6. Descarga la aplicación, instálala y ejecútala.
SCREENSHOTS
Ad
Copiloto Lean
DESCRIPCIÓN
LeanCopilot integra modelos de lenguaje extenso (LLM) como copilotos para la demostración de teoremas en el asistente de pruebas Lean. Asiste a los usuarios sugiriendo tácticas, premisas y buscando demostraciones, optimizando así la eficiencia de los procesos de verificación formal. LeanCopilot es compatible con modelos integrados de LeanDojo y modelos personalizados, lo que ofrece flexibilidad para diversos casos de uso.
Caracteristicas
- Integración de LLMs con el asistente de prueba Lean
- Sugerencias de tácticas y premisas
- Capacidades de búsqueda automatizada de pruebas
- Soporte para modelos integrados y personalizados
Lenguaje de programación
C + +
Categorías
Esta aplicación también se puede descargar desde https://sourceforge.net/projects/lean-copilot.mirror/. Está alojada en OnWorks para facilitar su ejecución en línea desde uno de nuestros sistemas operativos gratuitos.
