The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts. - Marcos Cramer; Bernhard Fisseni; Peter Koepke; Daniel Kühlwein; Bernhard Schröder; Jip Veldman (CNL, 2009)

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts. - Marcos Cramer; Peter Koepke; Daniel Kühlwein; Bernhard Schröder; Jip Veldman (CNL (Pre-Proceedings), 2009)