• Coq platform
• Binary package
• Installation from sources
• User interfaces
• Manual installation of Coq through opam
• Installation from package repositories