book
HoTTEST-Summer-School
| book | HoTTEST-Summer-School | |
|---|---|---|
| 6 | 1 | |
| 1,979 | 271 | |
| 0.7% | - | |
| 5.8 | 2.6 | |
| 3 months ago | 7 months ago | |
| TeX | TeX | |
| - | - |
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).
HoTTEST-Summer-School
-
Introduction to Homotopy Type Theory
Also, a draft of book itself was used for the 2022 summer school:
https://github.com/martinescardo/HoTTEST-Summer-School/tree/...
What are some alternatives?
git-diff-img - 📷 Diff Git versioned images graphically.
tectonic - A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.
stacks-project - Repository for the Stacks Project
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.
OpenLogic - An open-source, customizable intermediate logic textbook
tortoisegit - Windows Explorer Extension to Operate Git; Mirror of official repository https://tortoisegit.org/sourcecode