To download this project, you will need to install Lean 3 using the following instructions: https://leanprover-community.github.io/lean3/get_started.html#regular-install. Note that Lean 3 has been deprecated due to the release of Lean 4.
Once you have Lean 3, open your command line and run leanproject get https://github.com/agusakov/excluded_minor_binary