Representing structural language features in formal meta-languages

DOI10.1007/978-3-030-53518-6_13zbMath1455.68268OpenAlexW3043059512MaRDI QIDQ2219401

Michael Kohlhase, Florian Rabe, Colin Rothgang, Dennis Müller

Publication date: 20 January 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53518-6_13

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical knowledge management (68V30)

Related Items

A new export of the Mizar mathematical library ⋮ Injecting formal mathematics into LaTeX ⋮ Unnamed Item ⋮ Experiences from exporting major proof assistant libraries

This page was built for publication: Representing structural language features in formal meta-languages