UniMath
UniMath copied to clipboard
Installation of Emacs is missing in instructions
thanks to @tomdjong for pointing it out.
Here's the one I use on Mac OS X: https://emacsformacosx.com/
There is also this: https://www.gnu.org/software/emacs/manual/html_node/efaq/Installing-Emacs.html