Need help cloning? Learn how to
clone a repository.
is a free Git and Mercurial client for Windows.
is a free Git and Mercurial client for Mac.
Homotopy type theory jumpstart script.
This script downloads Vladimir Voevodsky's code and coq 8.3. It then patches
and builds coq; ready to hack!
git clone https://bitbucket.org/wires/htt
(The script requires curl)
Unlimited private and public hosted repositories. Free for small teams!