https://github.com/fredrik-bakke/forest
https://github.com/fredrik-bakke/forest
category-theory dependent-type-theory univalent-mathematics
Last synced: about 1 month ago
JSON representation
- Host: GitHub
- URL: https://github.com/fredrik-bakke/forest
- Owner: fredrik-bakke
- Created: 2024-05-17T14:07:32.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2024-10-16T17:40:19.000Z (7 months ago)
- Last Synced: 2025-04-12T00:43:47.796Z (about 1 month ago)
- Topics: category-theory, dependent-type-theory, univalent-mathematics
- Language: Shell
- Homepage: https://fredrik-bakke.github.io/forest/
- Size: 1.14 MB
- Stars: 3
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSES/CC0-1.0.txt
- Citation: CITATION.cff