book
About
A textbook on informal homotopy type theory (by HoTT)
No Of Mentions
1
Stars
1,693
Activity
4.7
Similar Repos
| Repo | Language | Mentions | Stars | Activity |
|---|---|---|---|---|
tectonicA modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive. |
C | 1 |
0 |
9.0 |
stacks-projectRepository for the Stacks Project |
TeX | 1 |
576 |
9.5 |
Scout APMLess time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development. |
0 |
0 |
|
|
github-orgmode-testsThis is a test project where you can explore how github interprets Org-mode files |
1 |
113 |
5.8 |