The instructions at https://github.com/UniMath/Schools/blob/master/installation.md are outdated. Instead, we should point to the installation instructions located at https://github.com/UniMath/UniMath/issues/1587.
The instructions at https://github.com/UniMath/Schools/blob/master/installation.md are outdated. Instead, we should point to the installation instructions located at UniMath/UniMath#1587.