This repository makes it easy to build and install UniMath using opam. - View it on GitHub