@misc{indiciaefd6def114c83,
  title = {Optimising Metamath Proofs for Human Working Memory},
  author = {Jeremy Lindsay and Cezary Kaliszyk and Christine Rizkallah},
  year = {2026},
  url = {https://arxiv.org/abs/2609.07097},
  note = {Source identifier: 2609.07097}
}