The Naproche Project – Controlled Natural Language Proof Checking of Mathematical Texts (0)

by M Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J Veldman