lean-dojo/LeanDojo

Ferramenta para extração de dados e interação com o Lean de forma programática.

↗ Abrir no GitHub

Estrelas

832

Bifurcações

118

Linguagem

Python

Licença

MIT

Último push

há 8 meses

Python machine-learning llm lean4 lean theorem-proving

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.