https://github.com/forked-from-1kasper/hott-solutions
https://github.com/forked-from-1kasper/hott-solutions
cubicaltt hott
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/forked-from-1kasper/hott-solutions
- Owner: forked-from-1kasper
- Created: 2018-07-01T08:44:48.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2019-05-25T09:12:09.000Z (almost 6 years ago)
- Last Synced: 2025-01-07T08:27:00.657Z (5 months ago)
- Topics: cubicaltt, hott
- Size: 124 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0