Text this: Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων