https://github.com/hott/epit-2020

EPIT 2020 - Spring School on Homotopy Type Theory
https://github.com/hott/epit-2020

Last synced: 4 months ago
JSON representation

EPIT 2020 - Spring School on Homotopy Type Theory

• Host: GitHub
• URL: https://github.com/hott/epit-2020
• Owner: HoTT
• License: mit
• Created: 2021-03-19T11:37:35.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2021-07-29T09:41:01.000Z (almost 4 years ago)
• Last Synced: 2025-01-02T11:28:23.683Z (6 months ago)
• Language: TeX
• Size: 154 MB
• Stars: 103
• Watchers: 19
• Forks: 11
• Open Issues: 3

Awesome Lists containing this project