coq Coq 8.8.0 (1)
coq-8.8.0-installer-windows-x86_64.exe | |
58.44 MB | |
93880e3ce8c924adc876e71d1be89287 | |
Nullsoft Scriptable Install System (NSIS) |
Silent Install
coq-8.8.0-installer-windows-x86_64.exe /S
To silently install coq Coq 8.8.0 follow theese simple steps.
- Download the file coq-8.8.0-installer-windows-x86_64.exe
- Check the MD5 Checksum and the Signature of the installer package
- open a cammandline in admin mode by pressing Win and enter cmd
- right click the terminal application and choose "Run as Admin ..."
- Change the directory where the downloaded file is stored by using the cd command
- now enter the command coq-8.8.0-installer-windows-x86_64.exe /S in the terminal to silently install Coq
Silent Uninstall
C:\Coq\Uninstall.exe /S
To silently uninstall coq Coq 8.8.0 follow theese simple steps.
- open a cammandline in admin mode by pressing Win and enter cmd
- right click the terminal application and choose "Run as Admin ..."
- now enter the command C:\Coq\Uninstall.exe /S in the terminal to silently uninstall Coq
coq Coq 8.8.0 (2)
coq-8.8.0-installer-windows-i686.exe | |
57.62 MB | |
b400cfe6aeb5e9eb628b1f60c12625ba | |
Nullsoft Scriptable Install System (NSIS) |
Silent Install
coq-8.8.0-installer-windows-i686.exe /S
To silently install coq Coq 8.8.0 follow theese simple steps.
- Download the file coq-8.8.0-installer-windows-i686.exe
- Check the MD5 Checksum and the Signature of the installer package
- open a cammandline in admin mode by pressing Win and enter cmd
- right click the terminal application and choose "Run as Admin ..."
- Change the directory where the downloaded file is stored by using the cd command
- now enter the command coq-8.8.0-installer-windows-i686.exe /S in the terminal to silently install Coq
Silent Uninstall
C:\Coq\Uninstall.exe /S
To silently uninstall coq Coq 8.8.0 follow theese simple steps.
- open a cammandline in admin mode by pressing Win and enter cmd
- right click the terminal application and choose "Run as Admin ..."
- now enter the command C:\Coq\Uninstall.exe /S in the terminal to silently uninstall Coq