Introduction. Décomposeur de formules mathématiques démontrant des preuves de théorèmes avec personnalisation des paramètres