TY - RPRT TI - A Lean Paper About Paper: A Formal Framework for Origami AU - Celio Boulay AU - Alexander Chai AU - Anthony Chang AU - Thomas Moulin PY - 2026 UR - https://arxiv.org/abs/2609.14912 ID - 2609.14912 ER -