Propietario · lean-dojo

lean-dojo

Repositorios de código abierto monitorizados de lean-dojo, ordenados por estrellas.

2 repositorios

#1
LeanCopilot ↗@lean-dojoC++
LLMs como copilotos para la demostración de teoremas en Lean
★ 1318+1Variación de estrellas de los últimos 7 días
#2
LeanDojo ↗@lean-dojoPython
Herramienta para la extracción de datos e interacción programática con Lean.
★ 832+1Variación de estrellas de los últimos 7 días