Does the Interface Language of AceProof limit its ability to work with files in other languages?
Posted by Vitaliy Gutyk (AIT) on 04 October 2018 04:07 PM

No, it does not. AceProof check for non-language-specific errors (consistency, punctuation, whitespaces, untranslated fragments), and thus can work with any language.

(0 vote(s))
Not helpful

Comments (0)
Post a new comment
Full Name:
CAPTCHA Verification 
Please enter the text you see in the image into the textbox below (we use this to prevent automated submissions).