Towards Fast Automatic Verification of Textbook Proof Steps.

Adam Dingle

Browse the full IJCAR paper archive.