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