@misc{indiciae6003bc46dcad,
  title = {A Lean Paper About Paper: A Formal Framework for Origami},
  author = {Celio Boulay and Alexander Chai and Anthony Chang and Thomas Moulin},
  year = {2026},
  url = {https://arxiv.org/abs/2609.14912},
  note = {Source identifier: 2609.14912}
}