Skip to main content
Conference Proceedings

System description: XSL-based translator of mizar to LaTeX

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2018) 11006 LNAI 1-6
DOI: 10.1007/978-3-319-96812-4_1
4Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We describe a new version of the Mizar-to- translator. The system has been re-implemented as XSL stylesheets instead of as Pascal programs, allowing greater flexibility. It can now be used to generate both /PDF and HTML with MathJax code. We also experimentally support generation of full proofs. Finally, the system is now available online and through the Mizar Emacs interface.

Cite

CITATION STYLE

APA

Bancerek, G., Naumowicz, A., & Urban, J. (2018). System description: XSL-based translator of mizar to LaTeX. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11006 LNAI, pp. 1–6). Springer Verlag. https://doi.org/10.1007/978-3-319-96812-4_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free