Proceedings 7th International Workshop on Theorem proving components for Educational software: Preface