https://github.com/HoTT/book

A textbook on informal homotopy type theory
https://github.com/HoTT/book

Last synced: 3 months ago
JSON representation

A textbook on informal homotopy type theory

• Host: GitHub
• URL: https://github.com/HoTT/book
• Owner: HoTT
• Created: 2012-11-06T21:35:02.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2024-06-17T16:38:47.000Z (7 months ago)
• Last Synced: 2024-10-16T05:23:36.531Z (3 months ago)
• Language: TeX
• Size: 152 MB
• Stars: 2,026
• Watchers: 121
• Forks: 359
• Open Issues: 77
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md

Awesome Lists containing this project

• awesome-starred - HoTT/book - A textbook on informal homotopy type theory (others)