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