The ELFE System - Verifying Mathematical Proofs of Undergraduate Students Topics: Adaptive Educational Systems; Architectures for AI-based Educational Systems; Authoring Tools for Intelligent Tutoring Systems In Proceedings of the 10th International Conference on Computer Supported Education - Volume 1: CSEDU, 15-26, 2018 , Funchal, Madeira, Portugal