Skip to content
Homotopy type theory
Find file
Pull request Compare This branch is 4 commits ahead of andrejbauer:master.
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
Peter @ fa6d22d
Vladimir @ 5e4d727


This repository contains various files related to "homotopy type
theory". Each subdirectory contains a README file which you can
inspect to get a description of what is in there.

The repository contains submodules for Vladimir Voevodsky's and
Peter Lumsdaine's repositories. You can obtain those automatically
by giving the --recursive option when you clone this repository:

  git clone --recursive <this-repository-address>

If you have already cloned this repository without --recursive,
you can still get the submodules with

  git submodule update --init --recursive

Something went wrong with that request. Please try again.