Login / Signup
The ELFE System - Verifying Mathematical Proofs of Undergraduate Students.
Maximilian Doré
Krysia Broda
Published in:
CSEDU (2) (2018)
Keyphrases
</>
undergraduate students
mathematical proofs
cognitive processes
theorem prover
natural language
model checking
graduate students
pedagogical agents
pedagogical design