1 Forks
13 Stars
13 Watchers

ground_zero

Ground Zero: Lean 4 HoTT Library

How to download and setup ground_zero

Open terminal and run command
git clone https://github.com/forked-from-1kasper/ground_zero.git
git clone is used to create a copy or clone of ground_zero repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with ground_zero https://github.com/forked-from-1kasper/ground_zero/archive/master.zip

Or simply clone ground_zero with SSH
[email protected]:forked-from-1kasper/ground_zero.git

If you have some problems with ground_zero

You may open issue on ground_zero support forum (system) here: https://github.com/forked-from-1kasper/ground_zero/issues