Paper Info
Title
System Description: Xsl-Based Translator Of Mizar To Latex
Abstract
We describe a new version of the Mizar-to-LATEX 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 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.
Year
DOI
Venue
2018
10.1007/978-3-319-96812-4_1
INTELLIGENT COMPUTER MATHEMATICS (CICM 2018)
DocType
Volume
ISSN
Conference
11006
0302-9743
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Grzegorz Bancerek19619.74
Adam Naumowicz29411.17
Josef Urban310212.92