Naproche-SAD

Proof checking of natural mathematical documents.