Showing cs.PLShow all
3 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…
cs.PL2025
Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
Zhiyao Zhong, Cyrus Omar
Students in programming languages and formal logic courses often struggle with constructing rule-based derivation trees due to the complexity of applying inference rules, the lack…