Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Proof Interfaces for Exploratory Mathematics
Nishant Kheterpal, Matthew Keenan, Cyrus Omar +1
This paper describes a mathematics interface intended for both educational applications and exploratory mathematics. Both learners and mathematics practitioners often use pen and p…
cs.PL2026
Hazel Prover: A Classroom Proof Assistant for Learning Structural Induction
Matthew Keenan, Nishant Kheterpal, Jean-Baptiste Jeannin +1
Proof assistants offer instant feedback and incremental proof scaffolding to users. Both of these features have long held promise in improving mathematics education in classroom se…