TY  - RPRT
TI  - (Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs
AU  - Wesley Pegden
PY  - 2026
UR  - https://arxiv.org/abs/2606.09674
ID  - 2606.09674
ER  -