book VS OpenLogic

Some famous collaborative books: * https://github.com/HoTT/book * https://github.com/OpenLogicProject/OpenLogic * https://github.com/stacks/stacks-project * http://math.uchicago.edu/~amathew/cr.html

Is this supposed to be more accessible than the HoTT textbook that's been maintained on Github for some years? https://github.com/HoTT/book

Here's one example of a book with multiple collaborators: https://github.com/HoTT/book (Credit to Colt Steele, who mentions it in his The Git & GitHub Bootcamp course on Udemy).

If the pdf links don't work, those on the github link should work: https://github.com/HoTT/book/wiki/Nightly-Builds

Office packages (e.g. Microsoft Word or LibreOffice Calc) because I firmly believe that WYSIWYG editors are a nightmare for both version control and collaborative editing (yes, I know about Google Docs, but imagine writing the HoTT book or Stacks project in Google Docs).

There are a number of open-access logic textbooks, https://github.com/OpenLogicProject/OpenLogic/wiki/Other-Logic-Textbooks. Depending on where you are aiming, I would either look at For All X or the Open Logic Project.

Some famous collaborative books: * https://github.com/HoTT/book * https://github.com/OpenLogicProject/OpenLogic * https://github.com/stacks/stacks-project * http://math.uchicago.edu/~amathew/cr.html

Can we try something similar to OpenLogic? They are using the original TeX engine to produce PDFs as far as I understand. I have some experience managing a similar repository (on a smaller scale) and it seems doable. The main benefits would be publicity and collaboration tools on GitHub (and even GitHub Actions for builds, but I've had some quirks with some luaTeX actions lately so I'm not sure how reliable are they). A single git repository can be used to produce multiple related PDFs on different topics.