Utiliza Lean Copilot para automatizar la demostración de teoremas en Lean con sugerencias de modelos de lenguaje grande.
Reivindica su pagina: indexada sea cual sea su posicion, traducida a seis idiomas y enriquecida con tus propias palabras.
Recibe una alerta por correo en su próximo lanzamiento o cuando despegue — no te pierdas nada.
Gratis · sin tarjeta · cancela cuando quierasLLMs como copilotos para la demostración de teoremas en Lean
LeanCopilot tiene 1.3k estrellas en GitHub. Se ha bifurcado 126 veces. LeanCopilot está escrito principalmente en C++. Se desarrolla activamente desde 2023. LeanCopilot está disponible bajo la licencia MIT. Sus temas principales son: formal-mathematics, lean, lean4, llm.
¿Qué es LeanCopilot?
LLMs como copilotos para la demostración de teoremas en Lean
¿LeanCopilot es de código abierto?
LeanCopilot es un proyecto de código abierto. Se distribuye bajo la licencia MIT.
¿LeanCopilot es gratis?
Sí. LeanCopilot es gratuito y de código abierto: puedes usarlo, modificarlo y alojarlo tú mismo.
¿Bajo qué licencia está LeanCopilot?
LeanCopilot está disponible bajo la licencia MIT.
¿En qué lenguaje está escrito LeanCopilot?
LeanCopilot está escrito principalmente en C++.
Agrega este distintivo en vivo a tu README — tus estrellas de GitHub y rango en el directorio, actualizados diariamente.
[](https://olud.ai/project/lean-dojo-leancopilot.html)
Medido a partir de los topics de GitHub comunes a ambos proyectos, ponderados por su rareza.