Parts of the Open Logic Text as well as the textbooks Sets, Logic, Computation and Set Theory are now available in (Brazilian) Portuguese. The Portuguese translation and adaptation is by Pedro Lima, a philosophy student based in Portugal. He plans to continue with further OLP texts in Portuguese. You can browse the source code in the OpenLogic-pt repository on Github, and download PDFs of Conjuntos, Lógica, Computação and Teoria dos Conjuntos from the Portuguese section of the OLP builds site.
The translation (localization) is integrated with the original OLP source tree (although in a Git separate repository)—localized versions of the texts now live in the subdirectory locale/. In the OpenLogic repository, this directory is empty except for the file LOCALIZATION.md, which describes the setup. You copy or clone localized OLP tress like OpenLogic-pt into it. To make this work, some things had to change, e.g., the various configuration files had to be made language-independent. English texts now load the file open-logic-locale.sty which contains all the language-specific strings (like “theorem”). Localized versions load a different file, e.g., locale/pt/open-logic-locale.sty. I hope that didn’t break anything if you’re working on something yourself. If your OLP tree and textbooks are up-to-date (i.e., you do a git pull), the English should still work. Let me know if it does not.
I hope this is just the first of many efforts to bring open logic textbooks to non-English-speaking users. Thanks, Pedro!