You can check all of the papers of Joris van der Hoeven (https://www.texmacs.org/joris/main/publs.html https://www.texmacs.org/joris/main/publs.html) and of Mas

You can check all of the papers of Joris van der Hoeven (https://www.texmacs.org/joris/main/publs.html https://www.texmacs.org/joris/main/publs.html) and of Massimiliano Gubinelli (https://www.hcm.uni-bonn.de/people/faculty/publications/?tx_sevenpack_pi1%5Bauthor%5D=1144&tx_sevenpack_pi1%5BbackPageId%5D=239 https://www.hcm.uni-bonn.de/people/faculty/publications/?tx_...), and as well these lecture notes the link to which was recently posted on the TeXmacs forums https://www.jonmsterling.com/papers/sterling:2022:wg6.pdf https://www.jonmsterling.com/papers/sterling:2022:wg6.pdf (link to the forum post http://forum.texmacs.cn/t/sharing-some-lecture-notes-created-using-texmacs/945 http://forum.texmacs.cn/t/sharing-some-lecture-notes-created...). The papers of vdH you find in his website are converted from the TeXmacs format into pdf (one can find the TeXmacs sources too by each paper) and the papers of Gubinelli as far as I know are written using TeXmacs but since he puts the links to the journals there you get a version converted from the TeXmacs format into LaTeX.