The Naproche project – controlled natural language proof checking of mathematical texts (2010)

by M Cramer, B Fisseni, P Koepke, D Kühlwein, B Schröder, J Veldman
Venue:In CNL 2009 Workshop, LNAI 5972