Propriétaire · lean-dojo

lean-dojo

Dépôts open source suivis de lean-dojo, triés par étoiles.

2 dépôts

#1
LeanCopilot ↗@lean-dojoC++
Utilisation des LLM comme copilotes pour la démonstration de théorèmes dans Lean
★ 1 318+1Évolution des étoiles sur les 7 derniers jours
#2
LeanDojo ↗@lean-dojoPython
Outil d'extraction de données et d'interaction programmatique avec Lean.
★ 832+1Évolution des étoiles sur les 7 derniers jours