Its developer, Joris van der Hoeven, is one of the co-authors of this research paper that has been exported to HTML, so I presume that the paper was written specifically in/for TeXmacs: your arbitrary LaTeX document won't be so easily importable into TeXmacs AFAIK.