OpenLogic
An open-source, customizable intermediate logic textbook (by OpenLogicProject)
maths_book
Planning for an entire maths LaTeX book (by pelegs)
| OpenLogic | maths_book | |
|---|---|---|
| 3 | 4 | |
| 989 | 194 | |
| 0.9% | - | |
| 7.4 | 2.9 | |
| 19 days ago | 11 months ago | |
| TeX | TeX | |
| Creative Commons Attribution 4.0 | Creative Commons Zero v1.0 Universal |
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.
maths_book
Posts with mentions or reviews of maths_book.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-01-14.
-
LaTeX for books?
Yes, I'm working on one these days: https://github.com/pelegs/maths_book
-
People seemed to like this at r/asktransgender, so I'm sharing it here too: trans tapir, a figure in a mathematics book I'm currently working on
Hihi. The first chapter of the book is almost 100% done, and the rest is getting written almost daily. You can find the most updated version here: https://github.com/pelegs/maths_book/raw/main/bookmain.pdf (I will keep the book free and open source)
-
Illustration in a math book using the trans pride flag for a pun: appropriate?
For context: I use tapirs as a theme throughout the book, e.g. as chapter headings, hence the trans tapir pun. The book is open source and will remain free for everyone.
- Math book for science students written entirely in LaTeX
What are some alternatives?
When comparing OpenLogic and maths_book you can also consider the following projects:
latex - The LaTeX files used for Clopen Analysis.
Reals-as-Oracles - This is a paper for a new definition of real numbers, namely, viewing a real number as an oracle that affirms when a rational interval contains the real number.
stacks-project - Repository for the Stacks Project
ra - Basic Analysis, undergraduate real analysis textbook
book - A textbook on informal homotopy type theory
LiX - Compose papers, dissertations, textbooks, novels, newspapers etc. quicker using abstractions to the standard LaTeX document classes - or create your own classes easily.
maths_formulae - A LaTeX File with Maths Formulae from High School Maths and Common Core Engineering