typer (practise_to_type)

I cannot define what I mean by 'intuition'. It is simply what makes mathematicians (or physicists, or engineers, or poets) tick. It gives them a 'feel' for the subject; with it they can see that a theorem is true, without giving a formal proof, and on the basis of their vision produce a proof that works.