The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts

by M. Cramer , B. Fisseni , P. Koepke , D. Kühlwein , B. Schröder , J. Veldman
Citations:2 - 2 self