Interactive Theorem Proving - Modelling the User in the Proof Process.

Bernhard Beckert, Sarah Grebing

Browse the full CADE paper archive.