Injecting formal mathematics into LaTeX
From MaRDI portal
Publication:6160559
DOI10.1007/978-3-031-16681-5_12OpenAlexW4296050240MaRDI QIDQ6160559
Dennis Müller, Michael Kohlhase
Publication date: 2 June 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-16681-5_12
Related Items
Cites Work
- A scalable module system
- Using La\TeX\ as a semantic markup format
- Theories as types
- Representing structural language features in formal meta-languages
- Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories
- Flexary Operators for Formalized Mathematics