Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: about 2 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 (almost 6 years ago)
- Default Branch: master
- Last Pushed: 2020-07-24T13:14:18.000Z (about 4 years ago)
- Last Synced: 2024-06-12T02:28:16.048Z (3 months ago)
- Topics: agda, book, coq, formalization, hott, mathematics, univalence
- Language: Agda
- Size: 7.11 MB
- Stars: 355
- Watchers: 25
- Forks: 28
- Open Issues: 2