https://github.com/HoTT/book

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

Last synced: about 2 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 (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2024-06-17T00:56:28.000Z (3 months ago)
• Last Synced: 2024-06-17T01:48:56.662Z (3 months ago)
• Language: TeX
• Size: 152 MB
• Stars: 1,996
• Watchers: 122
• Forks: 354
• Open Issues: 72
• 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)