Perform the "Regular Install" on https://leanprover-community.github.io/get_started.html
Run "leanproject get https://github.com/chasenorman/Formalized-Voting" in terminal at the directory you would like to place the Formalized-Voting project.
Newer versions of MacOS tend to disallow modifications to your terminal profile. To fix this, use the installation process here: https://leanprover-community.github.io/install/macos_details.html. When running step 2, Customize your installation with a stable build and NO PATH modification. Then run "source $HOME/.elan/env" in your terminal as instructed.