1 Forks
34 Stars
34 Watchers

ground.zero

🧊 Ground Zero: Lean Cubical Base Library

How to download and setup ground.zero

Open terminal and run command
git clone https://github.com/groupoid/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/groupoid/ground.zero/archive/master.zip

Or simply clone ground.zero with SSH
[email protected]:groupoid/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/groupoid/ground.zero/issues