Général7 mois ago
LeanDojo : Prouver des théorèmes en Lean grâce aux LLMs !
Découvrez LeanDojo, une révolution dans le domaine de la preuve théorique ! Grâce à notre Lean Copilot, les modèles de langage deviennent vos copilotes, facilitant l'automatisation...