Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: about 1 month 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 (about 12 years ago)
- Default Branch: master
- Last Pushed: 2019-02-19T17:00:39.000Z (almost 6 years ago)
- Last Synced: 2024-08-02T12:22:46.259Z (4 months ago)
- Topics: agda, homotopy, hott, univalence
- Language: Agda
- Size: 6.15 MB
- Stars: 409
- Watchers: 56
- Forks: 59
- Open Issues: 8
Awesome Lists containing this project
- awesome-starred - HoTT/HoTT-Agda - Development of homotopy type theory in Agda (others)