Pinpointing the Learning Obstacles of an Interactive Theorem Prover
Year: 2025
Type: conference-paper
Study design: Observational Study
Authors: Sára Juhošová, Andy Zaidman, Jesper Cockx
Institution: Delft University of Technology
Language: English
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
SDG: Quality education
Open Access status: closed
OpenAlex ID: W4411359817