dév

Kimina-Prover-RL : Formations avancées en prouver thématique

Explore une nouvelle pipeline open-source pour l'entraînement des modèles à prouver des théorèmes formels avec Kimina-Prover-RL.