A survey of languages for formalizing mathematics

DOI10.1007/978-3-030-53518-6_9zbMath1455.68257arXiv2005.12876OpenAlexW3044269446WikidataQ108482101 ScholiaQ108482101MaRDI QIDQ2219386

Cezary Kaliszyk, Florian Rabe

Publication date: 20 January 2021

Full work available at URL: https://arxiv.org/abs/2005.12876

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Mathematical knowledge management (68V30)

Related Items (6)

Improving stateful premise selection with transformers ⋮ A language with type-dependent equality ⋮ Lyndon words formalized in Isabelle/HOL ⋮ \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge ⋮ \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model ⋮ The Isabelle/Naproche natural language proof assistant

This page was built for publication: A survey of languages for formalizing mathematics