Documentation for installation on OS X
Perhaps there could be an Install.md that describes the installation process to install Coq, Iris, and an IDE for Coq on OS X (and other platforms). Not everything works well on OS X. CoqIDE is extremely slow, for instance, and the main Coq extension for VS code does not work well, and OS X has an old version of Make that fails sometimes. VS Code + the maximedenes.vscoq for Coq + oijaz.unicode-latex for unicode input works reasonably well. What I eventually did was something like:
/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" brew update brew install make brew install opam opam init eval $(opam env) opam install coq opam repo add iris-dev https://gitlab.mpi-sws.org/iris/opam.git opam install coq-iris brew install visual-studio-code code --install-extension maximedenes.vscoq code --install-extension oijaz.unicode-latex
A complete recipe like that might save new people a lot of time.