@misc{indiciae233769716992, title = {Formal Integration of Derived Foliations}, author = {Lukas Brantner and Kirill Magidson and Joost Nuiten}, year = {2025}, url = {https://arxiv.org/abs/2502.05257}, note = {Source identifier: 2502.05257} }