https://github.com/ncfavier/cubical-experiments
Experiments with Cubical Agda
https://github.com/ncfavier/cubical-experiments
agda cubical-type-theory homotopy-type-theory
Last synced: 3 months ago
JSON representation
Experiments with Cubical Agda
- Host: GitHub
- URL: https://github.com/ncfavier/cubical-experiments
- Owner: ncfavier
- License: gpl-3.0
- Created: 2022-04-20T17:57:44.000Z (about 3 years ago)
- Default Branch: main
- Last Pushed: 2025-01-23T15:25:13.000Z (4 months ago)
- Last Synced: 2025-01-23T16:30:26.664Z (4 months ago)
- Topics: agda, cubical-type-theory, homotopy-type-theory
- Language: Agda
- Homepage: https://agda.monade.li/
- Size: 103 KB
- Stars: 8
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- License: LICENSE