@InProceedings{10.1007/978-3-030-53518-6_19,
author="De Lon, Adrian
and Koepke, Peter
and Lorenzen, Anton",
editor="Benzm{\"u}ller, Christoph
and Miller, Bruce",
title="Interpreting Mathematical Texts in Naproche-SAD",
booktitle="Intelligent Computer Mathematics",
year="2020",
publisher="Springer International Publishing",
address="Cham",
pages="284--289",
abstract="Naproche-SAD is a natural proof assistant based on the controlled natural input language ForTheL. Integrating ForTheL intoallows to leverage type setting commands for the disambiguation and structuring of mathematical texts, with high-quality mathematical typesetting coming for free. A new generic parsing mechanism allows the translation of texts into other formal languages besides the original first-order internal format of Naproche-SAD. We can generate correct Lean code from ForTheL statements which may be useful for writing readable fabstracts.",
isbn="978-3-030-53518-6"
}