https://github.com/martinescardo/HoTTEST-Summer-School

HoTTEST Summer School materials
https://github.com/martinescardo/HoTTEST-Summer-School

Last synced: 3 months ago
JSON representation

HoTTEST Summer School materials

• Host: GitHub
• URL: https://github.com/martinescardo/HoTTEST-Summer-School
• Owner: martinescardo
• Created: 2022-06-07T14:50:56.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-10-18T13:58:20.000Z (about 1 year ago)
• Last Synced: 2024-06-30T15:46:50.124Z (5 months ago)
• Language: TeX
• Size: 147 MB
• Stars: 277
• Watchers: 27
• Forks: 68
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project