https://github.com/ericfinster/hott-mgs

Homotopy Type Theory Exercises for MGS 2023
https://github.com/ericfinster/hott-mgs

Last synced: 3 months ago
JSON representation

Homotopy Type Theory Exercises for MGS 2023

• Host: GitHub
• URL: https://github.com/ericfinster/hott-mgs
• Owner: ericfinster
• Created: 2023-04-02T16:11:24.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-04-06T09:09:40.000Z (over 1 year ago)
• Last Synced: 2024-02-17T06:33:04.299Z (9 months ago)
• Language: Agda
• Size: 11.7 KB
• Stars: 12
• Watchers: 1
• Forks: 3
• Open Issues: 1
• Metadata Files:

Awesome Lists containing this project