TY  - RPRT
TI  - Optimising Metamath Proofs for Human Working Memory
AU  - Jeremy Lindsay
AU  - Cezary Kaliszyk
AU  - Christine Rizkallah
PY  - 2026
UR  - https://arxiv.org/abs/2609.07097
ID  - 2609.07097
ER  -