Published August 13, 2018 | Version v1
Conference paper Open

System Description: XSL-Based Translator of Mizar to LaTeX

Authors/Creators

  • 1. CTU
  • 2. UwB

Description

We describe a new version of the Mizar-to-LaTeX translator.
The system has been re-implemented as XSL stylesheets instead of Pascal
programs, allowing greater flexibility. It can now be used to generate both
LaTeX/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.

Files

newFM.pdf

Files (261.9 kB)

Name Size Download all
md5:eea89fc63c310b4f3c7b35e035e9df66
261.9 kB Preview Download

Additional details

Funding

European Commission
AI4REASON - Artificial Intelligence for Large-Scale Computer-Assisted Reasoning 649043