LeanCopilot
LLM come Co-piloti per la Dimostrazione di Teoremi in Lean
Rivendica la sua pagina: indicizzata qualunque sia il rango, tradotta in sei lingue e arricchita con le tue parole.
Ricevi un avviso via email alla prossima release o quando decolla — non perderti nulla.
Gratis · senza carta · disdici quando vuoiLLM come Co-piloti per la Dimostrazione di Teoremi in Lean
LeanCopilot ha 1.3k stelle su GitHub. È stato forkato 126 volte. LeanCopilot è scritto principalmente in C++. È in sviluppo attivo dal 2023. LeanCopilot è disponibile con licenza MIT. I suoi temi principali sono: formal-mathematics, lean, lean4, llm.
Che cos'è LeanCopilot?
LLM come Co-piloti per la Dimostrazione di Teoremi in Lean
LeanCopilot è open source?
LeanCopilot è un progetto open source. È rilasciato con licenza MIT.
LeanCopilot è gratuito?
Sì. LeanCopilot è gratuito e open source: puoi usarlo, modificarlo e ospitarlo autonomamente.
Con quale licenza è LeanCopilot?
LeanCopilot è disponibile con licenza MIT.
In quale linguaggio è scritto LeanCopilot?
LeanCopilot è scritto principalmente in C++.
Aggiungi questo badge live al tuo README — le tue stelle GitHub e il ranking della directory, aggiornati quotidianamente.
[](https://opensourceai.tech/project/lean-dojo-leancopilot.html)
