Logique de base
Introduction des variables et des hypothèses (intro)
Conjonction: décomposition (split) et utilisation (case)
Disjonction: décomposition (right & left) et utilisation (case)
Implication décomposition (intro) et utilisation (apply)
Implication un peu plus dur
Implication et conjonction
Implication et quantification
Existentiel: décomposition (exists) utilisation (case)
Négation: décomposition (intro) et utilisation (case)