Matthew Keenan
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Proof Interfaces for Exploratory Mathematics
This paper extends the Hazel Prover interface to support exploratory mathematics for both students and experts.
Highlighted terms show continued research focus across papers