https://github.com/groupoid/urs
🧊 Еквіваріантна теорія типів супергеометрії
https://github.com/groupoid/urs
Last synced: 11 months ago
JSON representation
🧊 Еквіваріантна теорія типів супергеометрії
- Host: GitHub
- URL: https://github.com/groupoid/urs
- Owner: groupoid
- Created: 2025-02-27T22:31:04.000Z (11 months ago)
- Default Branch: main
- Last Pushed: 2025-02-28T00:00:09.000Z (11 months ago)
- Last Synced: 2025-02-28T08:03:53.567Z (11 months ago)
- Homepage: http://urs.groupoid.space/
- Size: 11.7 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0