LeanCopilot
LLM come Co-piloti per la Dimostrazione di Teoremi in Lean
Utilizza Lean Copilot per automatizzare la dimostrazione di teoremi in Lean con suggerimenti da modelli di linguaggio di grandi dimensioni.
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)
