HoTT-Intro

EgbertRijke

An introductory course to Homotopy Type Theory

book

View on GitHub

373 Stars

29 Forks

373 Watchers

Agda Language

cc-by-4.0 License

Cost to Build

$563.8K

Market Value

$1.76M

How is this calculated?

Growth over time

7 data points · 2021-08-01 → 2025-07-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about HoTT-Intro

Question copied to clipboard

What is the EgbertRijke/HoTT-Intro GitHub project? Description: "An introductory course to Homotopy Type Theory". Written in Agda. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone HoTT-Intro

Clone via HTTPS

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

Clone via SSH

[email protected]:EgbertRijke/HoTT-Intro.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the HoTT-Intro issue tracker:

Open GitHub Issues

Similar to HoTT-Intro

You-Dont-Know-JS python-guide wtfjs the-way-to-go_ZH_CN docker_practice Functional-Light-JS pure-bash-bible os01 thejsway RE-for-beginners growth-ebook progit GoBooks go-internals blockchain_guide BookReader ethereumbook Awsome-Front-End-learning-resource TensorFlow-Book github mit-deep-learning-book-pdf bash-handbook rust-learning progit2 advanced-go-programming-book interpy-zh book microservices hadoop-book game-programming-patterns