https://github.com/EgbertRijke/HoTT-Intro

An introductory course to Homotopy Type Theory
https://github.com/EgbertRijke/HoTT-Intro

agda book coq formalization hott mathematics univalence

Last synced: 2 months ago
JSON representation

An introductory course to Homotopy Type Theory

• Host: GitHub
• URL: https://github.com/EgbertRijke/HoTT-Intro
• Owner: EgbertRijke
• License: cc-by-4.0
• Archived: true
• Created: 2018-09-23T21:17:43.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-07-24T13:14:18.000Z (over 4 years ago)
• Last Synced: 2024-09-30T20:45:39.000Z (4 months ago)
• Topics: agda, book, coq, formalization, hott, mathematics, univalence
• Language: Agda
• Size: 7.11 MB
• Stars: 357
• Watchers: 25
• Forks: 28
• Open Issues: 2

Awesome Lists containing this project