$ git clone https://github.com/UniMath/Schools $ cd Schools $ make
This last step will take a long time: as part of that step, UniMath and Coq are downloaded and compiled.
2019-04-Birmingham. Note that the automatic setup of the work environment mentioned in the usage instructions has been extended for this repository to encompass these subdirectories.
For help, see Help section of UniMath.