Proprietário · lean-dojo

lean-dojo

Repositórios de código aberto acompanhados de lean-dojo, ordenados por estrelas.

2 repositórios

#1
LeanCopilot ↗@lean-dojoC++
LLMs como copilotos para prova de teoremas em Lean
★ 1.318+1Variação de estrelas nos últimos 7 dias
#2
LeanDojo ↗@lean-dojoPython
Ferramenta para extração de dados e interação com o Lean de forma programática.
★ 832+1Variação de estrelas nos últimos 7 dias