System Description: XSL-Based Translator of Mizar to LaTeX

Bancerek, G., Naumowicz, A., Urban, J.

BANCEREK, G., A. NAUMOWICZ, and J. URBAN. System Description: XSL-Based Translator of Mizar to LaTeX. In: Intelligent Computer Mathematics. International Conference on Intelligent Computer Mathematics, Hagenberg, 2018-08-13/2019-02-17. Springer Nature, 2018. p. 1-6. LNCS. vol. 11006. ISSN 0302-9743. ISBN 978-3-319-96811-7. DOI 10.1007/978-3-319-96812-4_1.

URL: https://link.springer.com/chapter/10.1007/978-3-319-96812-4_1