• Coq platform
• Binary package
• Installation from sources
• User interfaces
• Installation of Coq in a Linux virtual machine
• Installation of Coq in WSL
• Front-end setup in WSL