https://github.com/konn/sdg-agda
Synthetic Differential Geometry in Agda
https://github.com/konn/sdg-agda
Last synced: 2 months ago
JSON representation
Synthetic Differential Geometry in Agda
- Host: GitHub
- URL: https://github.com/konn/sdg-agda
- Owner: konn
- Created: 2015-01-10T18:18:30.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2015-01-14T16:19:30.000Z (over 10 years ago)
- Last Synced: 2025-01-23T16:55:05.851Z (4 months ago)
- Language: Agda
- Size: 148 KB
- Stars: 12
- Watchers: 5
- Forks: 0
- Open Issues: 0
-
Metadata Files: