mini prog pour reviser la plupart des grands theorèmes
il faut pour cela installer blessed avec
pip3 install blessedpuis il suffit de lancer
python3 main.pyselectionnez tout les hypotheses du theoreme
deplacer vous avec les fleches du clavier
selectionnez/deselectionnez/valider votre réponse avec le bouton entree
les thm son choisi au hasard parmis le thm 1;2;5;7;8;9;10;11