Schröder B, Koepke P. ProofML – eine Annotationssprache für natürliche Beweise. JLCL [Internet]. 2003 Jul. 1 [cited 2025 Jan. 2];18(1):428-41. Available from: https://jlcl.org/article/view/48