https://github.com/hott/hott-agda
Development of homotopy type theory in Agda
https://github.com/hott/hott-agda
agda homotopy hott univalence
Last synced: 5 months ago
JSON representation
Development of homotopy type theory in Agda
- Host: GitHub
- URL: https://github.com/hott/hott-agda
- Owner: HoTT
- License: mit
- Created: 2012-09-28T15:00:04.000Z (over 13 years ago)
- Default Branch: master
- Last Pushed: 2019-02-19T17:00:39.000Z (over 7 years ago)
- Last Synced: 2025-04-02T18:51:00.279Z (about 1 year ago)
- Topics: agda, homotopy, hott, univalence
- Language: Agda
- Size: 6.15 MB
- Stars: 424
- Watchers: 55
- Forks: 58
- Open Issues: 8