https://github.com/egbertrijke/hott-intro
An introductory course to Homotopy Type Theory
https://github.com/egbertrijke/hott-intro
agda book coq formalization hott mathematics univalence
Last synced: 4 months ago
JSON representation
An introductory course to Homotopy Type Theory
- Host: GitHub
- URL: https://github.com/egbertrijke/hott-intro
- Owner: EgbertRijke
- License: cc-by-4.0
- Archived: true
- Created: 2018-09-23T21:17:43.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2020-07-24T13:14:18.000Z (almost 5 years ago)
- Last Synced: 2024-09-27T06:41:07.772Z (8 months ago)
- Topics: agda, book, coq, formalization, hott, mathematics, univalence
- Language: Agda
- Size: 7.11 MB
- Stars: 357
- Watchers: 25
- Forks: 28
- Open Issues: 2