New paper is out: https://arxiv.org/abs/2303.18112 (written with @gnu_texmacs)
How did that work? In my experience arXiv isn't happy until it gets LaTeX it can build. Does their build engine know about TeXmacs?
@cscherrer @gnu_texmacs We submitted only the PDF. Suboptimal solution, I agree. I plan to modify TeXmacs to append optionally the TeXmacs documents to the PDF file (there should be some way to do it), so we can extract again the information. I've tried to submit also the TeXmacs sources along the PDF (in a zip file), but arXiv expect a LaTeX file inside the zip and this does not work naively. The ConTeXt people have the same problem and developed a strategy: https://wiki.contextgarden.net/Posting_on_arxiv.org