Intuitive Reasoning in Formalized Mathematics with ELFE
Dore, Maximilian (Corresponding author); Broda, Krysia
(2018) [Contribution to a book, Contribution to a conference proceedings]
Computer Supported Education
Volume: 1022
Page(s): 549-571
Identifier
- DOI: 10.1007/978-3-030-21151-6_26
- REPORT NUMBER: RWTH-2020-10672