lean-dojo/LeanCopilot

LLMs como copilotos para prova de teoremas em Lean

↗ Abrir no GitHub

Estrelas

1.318

Bifurcações

128

Linguagem

C++

Licença

MIT

Último push

há 2 semanas

C++machine-learning llm llm-inference lean4 lean theorem-proving formal-mathematics

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.