You can download the current stable version,
Coq 8.8.0, released in April 2018. It features
better performances, tactic improvements, many enhancements for universe
users, a new Export modifier for setting options, support for goal
selectors in front of focusing brackets and a new experimental
-mangle-names option for linting proof scripts.