https://github.com/michaelforney/hott

Homotopy Type Theory in Agda
https://github.com/michaelforney/hott

Last synced: 7 months ago
JSON representation

Homotopy Type Theory in Agda

• Host: GitHub
• URL: https://github.com/michaelforney/hott
• Owner: michaelforney
• License: isc
• Created: 2018-01-29T04:25:43.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2020-08-29T11:20:21.000Z (almost 6 years ago)
• Last Synced: 2025-02-02T00:18:01.359Z (over 1 year ago)
• Language: Agda
• Size: 99.6 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Homotopy Type Theory

This repository aims to implement the type theory described in the

[Homotopy Type Theory book][book] in Agda, matching syntax and

formulations as close as possible.

[book]: https://homotopytypetheory.org/book/