Author: Christophe Raffalli
Title: Proof by contextual menu
Abstract: 
We will describe the concept of proof by contextual menu whose goal is 
to allow a newcomer to use a theorem prover knowing only a few concept. 
To achieve this goal, the text of the menus should be very clear (like 
assume A and prove B) and therefore they are build by the prover (from 
the click position and an eventuel selection) and sent to the interface.