OpenLogic
An open-source, customizable intermediate logic textbook (by OpenLogicProject)
latex
The LaTeX files used for Clopen Analysis. (by Clopen-Analysis)
OpenLogic | latex | |
---|---|---|
3 | 1 | |
989 | 7 | |
0.9% | - | |
7.4 | 0.0 | |
19 days ago | about 3 years ago | |
TeX | TeX | |
Creative Commons Attribution 4.0 | - |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
OpenLogic
Posts with mentions or reviews of OpenLogic.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-14.
-
I want to learn Logic. How should I proceed?
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.
-
LaTeX for books?
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
-
Proposing a Stacks Project for real analysis
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.
latex
Posts with mentions or reviews of latex.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-04-11.
-
Proposing a Stacks Project for real analysis
Thanks! I set up a repo, and will look up into setting up Gitter tomorrow.
What are some alternatives?
When comparing OpenLogic and latex you can also consider the following projects:
stacks-project - Repository for the Stacks Project
typst - A new markup-based typesetting system that is powerful and easy to learn.
book - A textbook on informal homotopy type theory
maths_book - Planning for an entire maths LaTeX book