Sommaire

Ecriture / lecture d'une preuve

Une histoire des notations en bref

Pourquoi est-il plus facile de lire
une formule que de la prose ?

Structure d'une étape de preuve

Combien de niveaux ?

Avantages

Désavantages

L'avenir des notations

L'avenir des preuves