lean-dojo/LeanCopilot

Utilisation des LLM comme copilotes pour la démonstration de théorèmes dans Lean

↗ Ouvrir sur GitHub

Étoiles

1 318

Bifurcations

128

Langage

C++

Licence

MIT

Dernier push

il y a 2 semaines

C++machine-learning llm llm-inference lean4 lean theorem-proving formal-mathematics

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.