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