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 checks 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)