The download button on the erdos/ page is OS specific, but you can also find all the download links in the download-erdos/ page.