Skip to content

HoTT-Intro

Why GitHub?
Features →
- GitHub Sponsors →
- Customer stories→
Team
Enterprise
Explore
- Explore GitHub →
Learn and contribute
Connect with others
Marketplace
Pricing
Plans →
- Compare plans →
- Contact Sales →
- Education →

In this organization All GitHub

No suggested jump to results

In this organization All GitHub
Search All GitHub
In this organization All GitHub

Introduction to Homotopy Type Theory

Formalization projects associated to the forthcoming Introduction to Homotopy Type Theory book.

https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Type+Theory
@EgbertRijke

Repositories
Packages
People
Projects

More

Repositories
Packages
People
Projects

Type All

Select type

All Sources Forks Archived Mirrors

Language All

Select language

All Agda Coq HTML

Sort Last updated

Select order

Last updated Name Stars

Repositories

Agda

Agda formalisation of the Introduction to Homotopy Type Theory

mathematics agda textbook univalence homotopy-type-theory univalent-foundations mathematics-library

Agda GPL-3.0 4 77 0 0 Updated May 28, 2021
Coq

Formalization of the Introduction to Homotopy Type Theory in Coq

Coq GPL-3.0 0 6 0 0 Updated Aug 2, 2020
HoTT-Intro.github.io

HTML 0 1 0 0 Updated Jul 28, 2020

Top languages

Most used topics

Loading…

People

This organization has no public members. You must be a member to see who’s a part of this organization.

© 2021 GitHub, Inc.
Terms
Privacy
Security
Status
Docs

Contact GitHub
Pricing
API
Training
Blog
About

You can’t perform that action at this time.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.