TY  - RPRT
TI  - Hazel Prover: A Classroom Proof Assistant for Learning Structural Induction
AU  - Matthew Keenan
AU  - Nishant Kheterpal
AU  - Jean-Baptiste Jeannin
AU  - Cyrus Omar
PY  - 2026
UR  - https://arxiv.org/abs/2608.23309
ID  - 2608.23309
ER  -