System description: XSL-based translator of Mizar to {\LaTeX}

DOI10.1007/978-3-319-96812-4_1zbMath1417.68202OpenAlexW2885022248MaRDI QIDQ1798936

Grzegorz Bancerek, Josef Urban, Adam Naumowicz

Publication date: 18 October 2018

Full work available at URL: https://zenodo.org/record/4515366

Mathematics Subject Classification ID

Knowledge representation (68T30) Computing methodologies for text processing; mathematical typography (68U15)

Related Items (1)

VizAR: visualization of automated reasoning proofs (system description)

Uses Software

• Mizar
• MathJax
• LaTeX
• Unnamed Item

This page was built for publication: System description: XSL-based translator of Mizar to {\LaTeX}