Knowledgebase
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))
Helpful
Not helpful

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