book
OpenLogic
book | OpenLogic | |
---|---|---|
6 | 3 | |
1,979 | 987 | |
0.7% | 0.7% | |
5.8 | 7.4 | |
3 months ago | 12 days ago | |
TeX | TeX | |
- | Creative Commons Attribution 4.0 |
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.
book
-
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
-
Introduction to Homotopy Type Theory
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
-
Does something like git for MS Word Exisits?
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).
- Use Inclusive Language in §1.11
-
How can a layman begin learning Martin-Löf Type Theory? What are the prerequisites to learn it?
If the pdf links don't work, those on the github link should work: https://github.com/HoTT/book/wiki/Nightly-Builds
-
Advancements in math typesetting
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).
OpenLogic
-
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.
What are some alternatives?
git-diff-img - 📷 Diff Git versioned images graphically.
latex - The LaTeX files used for Clopen Analysis.
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
stacks-project - Repository for the Stacks Project
maths_book - Planning for an entire maths LaTeX book
github-orgmode-tests - This is a test project where you can explore how github interprets Org-mode files
pandoc - Universal markup converter
Asciidoctor - :gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
tortoisegit - Windows Explorer Extension to Operate Git; Mirror of official repository https://tortoisegit.org/sourcecode
HoTTEST-Summer-School - HoTTEST Summer School materials