Giters
Introduction to Homotopy Type Theory (HoTT-Intro)

Introduction to Homotopy Type Theory

HoTT-Intro

Geek Repo

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

Home Page:https://ncatlab.org/nlab/show/Introduction+to+Homotopy+Type+Theory

Twitter:@EgbertRijke

Github PK Tool:Github PK Tool

Introduction to Homotopy Type Theory's repositories

Agda

Agda formalisation of the Introduction to Homotopy Type Theory

Language:AgdaLicense:GPL-3.0Stargazers:119Issues:11Issues:0

Coq

Formalization of the Introduction to Homotopy Type Theory in Coq

Language:CoqLicense:GPL-3.0Stargazers:7Issues:0Issues:0

HoTT-Intro.github.io

Language:HTMLStargazers:1Issues:0Issues:0