Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
17 lines (10 sloc) 575 Bytes
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.