Maximilian Doré, Krysia Broda. Intuitive Reasoning in Formalized Mathematics with Elfe. In Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi, editors, Computer Supported Education - 10th International Conference, CSEDU 2018, Funchal, Madeira, Portugal, March 15-17, 2018, Revised Selected Papers. Volume 1022 of Communications in Computer and Information Science, pages 549-571, Springer, 2018. [doi]
Abstract is missing.