The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq
libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq
plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.
ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਵੇਰਵਾ (ਅੰਗਰੇਜ਼ੀ)
Coq ਕੀ ਹੈ?
Coq Windows ਲਈ The Coq Team ਦਾ ਇੱਕ ਓਪਨ ਸੋਰਸ ਪ੍ਰੋਗਰਾਮ ਹੈ। ਇਹ Shell ਵਿੱਚ ਲਿਖਿਆ ਗਿਆ ਹੈ।
ਇੰਸਟਾਲੇਸ਼ਨ ਅਤੇ ਸਿਸਟਮ ਲੋੜਾਂ
64-ਬਿੱਟ ਲਈ ਅਧਿਕਾਰਤ ਇੰਸਟਾਲਰ ਮੌਜੂਦ ਹਨ (EXE (NSIS))। ਇੰਸਟਾਲ ਕਰਦੇ ਸਮੇਂ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰ ਮੰਗੇ ਜਾਂਦੇ ਹਨ। ਇੰਸਟਾਲਰ ਬਿਨਾਂ ਕੋਈ ਸਵਾਲ ਪੁੱਛੇ (ਸਾਈਲੈਂਟ) ਇੰਸਟਾਲੇਸ਼ਨ ਸਪੋਰਟ ਕਰਦਾ ਹੈ।
ਅੱਪਡੇਟ ਅਤੇ ਵਰਜ਼ਨ ਇਤਿਹਾਸ
ਮੌਜੂਦਾ ਵਰਜ਼ਨ 2025.08.3 ਹੈ, ਜੋ 9 ਅਪ੍ਰੈਲ 2026 ਨੂੰ ਰਿਲੀਜ਼ ਹੋਇਆ। 21 ਸਤੰਬਰ 2021 ਤੋਂ ਹੁਣ ਤੱਕ ਦੇ 5 ਵਰਜ਼ਨ ਇੱਥੇ ਦਰਜ ਹਨ, ਹਰ ਇੱਕ ਦੀਆਂ ਆਪਣੀਆਂ ਇੰਸਟਾਲਰ ਫ਼ਾਈਲਾਂ ਦੇ ਲਿੰਕਾਂ ਨਾਲ। ਭਾਵ ਹਰ ਸਾਲ ਲਗਭਗ 1.1 ਰਿਲੀਜ਼ਾਂ।
ਮਸ਼ਹੂਰੀ ਅਤੇ ਫ਼ਾਈਲ ਕਿਸਮਾਂ
GitHub ਉੱਤੇ ਇਸ ਦੇ ਸੋਰਸ ਕੋਡ (rocq-prover/platform) ਨੂੰ 247 ਸਟਾਰ ਮਿਲੇ ਹਨ।
GitHub ਉੱਤੇ ਪ੍ਰੋਜੈਕਟ ਦਾ ਵੇਰਵਾ: “Multi platform setup for Rocq, Rocq libraries and tools”
ਖ਼ੂਬੀਆਂ / ਕਮੀਆਂ
ਖ਼ੂਬੀਆਂ
- ਓਪਨ ਸੋਰਸ: ਕੋਈ ਵੀ ਇਸ ਦਾ ਕੋਡ ਦੇਖ ਅਤੇ ਬਿਲਡ ਕਰ ਸਕਦਾ ਹੈ
- ਦਰਜ ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ
ਕਮੀਆਂ
- ਨੇਟਿਵ ARM64 ਬਿਲਡ ਨਹੀਂ ਹੈ
- ਇੰਸਟਾਲ ਕਰਨ ਲਈ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰ ਚਾਹੀਦੇ ਹਨ
ਸੰਖੇਪ ਵਿੱਚ: Coq 64-ਬਿੱਟ PC ਲਈ ਇੱਕ ਓਪਨ ਸੋਰਸ Windows ਟੂਲ ਹੈ। ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਇਸ ਨੂੰ ਯੂਜ਼ਰ ਦੀ ਦਖ਼ਲਅੰਦਾਜ਼ੀ ਤੋਂ ਬਿਨਾਂ (ਅਣਅਟੈਂਡਡ) ਡਿਪਲੌਏ ਕਰ ਸਕਦੇ ਹਨ।
ਕੀ Coq ਡਾਊਨਲੋਡ ਕਰਨਾ ਸੁਰੱਖਿਅਤ ਹੈ?
- ਫ਼ਾਈਲ github.com ਤੋਂ ਆਉਂਦੀ ਹੈ, ਜੋ ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਆਪਣਾ ਡੋਮੇਨ ਹੈ
- ਡਾਊਨਲੋਡ ਲਿੰਕ HTTPS ਵਰਤਦਾ ਹੈ
- SHA256 ਹੈਸ਼ ਪ੍ਰਕਾਸ਼ਿਤ ਹੈ, ਇਸ ਲਈ ਤੁਸੀਂ ਫ਼ਾਈਲ ਦੀ ਜਾਂਚ ਕਰ ਸਕਦੇ ਹੋ:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· ਇਸ ਹੈਸ਼ ਦੀ VirusTotal ਰਿਪੋਰਟ ਖੋਲ੍ਹੋ - ਲਿੰਕ ਅਜੇ ਜਾਂਚਿਆ ਨਹੀਂ ਗਿਆ
- ਸੋਰਸ ਕੋਡ ਜਨਤਕ ਹੈ
- ExeAtlas ਇੰਸਟਾਲਰ ਨੂੰ ਨਾ ਹੋਸਟ ਕਰਦਾ ਹੈ, ਨਾ ਰੈਪ ਕਰਦਾ ਹੈ, ਨਾ ਬਦਲਦਾ ਹੈ
ਸੰਬੰਧਿਤ ਗਾਈਡ: Windows ਉੱਤੇ ਫ਼ਾਈਲ ਦਾ SHA256 ਹੈਸ਼ ਕਿਵੇਂ ਚੈੱਕ ਕਰੀਏ
ਹਾਲੀਆ ਵਰਜ਼ਨ
ਸਾਰੇ 5 ਵਰਜ਼ਨ ›5 ਸਾਲਾਂ ਵਿੱਚ 5 ਵਰਜ਼ਨ · ਹਰ ਸਾਲ ਲਗਭਗ 1.1
| ਵਰਜ਼ਨ | ਤਾਰੀਖ਼ | ਆਕਾਰ | ਫ਼ਾਈਲਾਂ |
|---|---|---|---|
| 2025.08.3ਨਵਾਂ ਵਰਜ਼ਨ | 9 ਅਪ੍ਰੈਲ 2026 | — | 64-ਬਿੱਟ EXE (NSIS) |
| 2025.08.2 | 19 ਫ਼ਰਵਰੀ 2026 | — | 64-ਬਿੱਟ EXE (NSIS) |
| 2025.1.0 | 17 ਫ਼ਰਵਰੀ 2025 | — | 64-ਬਿੱਟ EXE (NSIS) |
| 8.14.1 | 28 ਜਨਵਰੀ 2022 | — | ਕੋਈ ਵੀ CPU EXE (NSIS) |
| 8.13.2 | 21 ਸਤੰਬਰ 2021 | — | ਕੋਈ ਵੀ CPU EXE (NSIS) |
ਕਮਾਂਡ ਲਾਈਨ ਤੋਂ ਇੰਸਟਾਲ ਕਰੋ
ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /Sਸੰਬੰਧਿਤ ਗਾਈਡ: winget ਕਿਵੇਂ ਵਰਤੀਏ: ਐਪਾਂ ਇੰਸਟਾਲ ਅਤੇ ਅੱਪਡੇਟ ਕਰੋ
ਜਾਣਕਾਰੀ
- ਪ੍ਰਕਾਸ਼ਕ
- The Coq Team
- ਲਾਇਸੈਂਸ
- CC0-1.0
- ਕੀਮਤ
- ਮੁਫ਼ਤ
- ਸੋਰਸ ਕੋਡ
- github.com/rocq-prover/platform
- ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ
- Shell
- ਲੋੜੀਂਦਾ ਸਿਸਟਮ
- Windows 11 / 10
- ਆਰਕੀਟੈਕਚਰ
- 64-ਬਿੱਟ
- ਇੰਸਟਾਲਰ
- EXE (NSIS)
- ਵਰਜ਼ਨ
- 2025.08.3
- ਰਿਲੀਜ਼
- 9 ਅਪ੍ਰੈਲ 2026
- ਕੈਟਾਲਾਗ ਵਿੱਚ ਜੋੜੀ ਗਈ
- 21 ਸਤੰਬਰ 2021
- ਦਰਜ ਵਰਜ਼ਨ
- 5
- ਅੱਪਡੇਟ / ਸਾਲ
- 1.1
- GitHub ਸਟਾਰ
- 247
- GitHub ਫ਼ੋਰਕ
- 56
- ਵੈੱਬਸਾਈਟ
- github.com
- winget ID
- Coq.CoqPlatform
ਰੇਟਿੰਗ ਅਤੇ ਰਿਵਿਊ
ਅਜੇ ਕੋਈ ਰਿਵਿਊ ਨਹੀਂ ਹੈ। ਸਭ ਤੋਂ ਪਹਿਲਾਂ ਰੇਟਿੰਗ ਦਿਓ।
ਅਕਸਰ ਪੁੱਛੇ ਜਾਣ ਵਾਲੇ ਸਵਾਲ
ਕੀ Coq ਮੁਫ਼ਤ ਹੈ?
ਹਾਂ। Coq ਓਪਨ ਸੋਰਸ ਸਾਫ਼ਟਵੇਅਰ ਹੈ (CC0-1.0 ਲਾਇਸੈਂਸ)।
ਕੀ Coq ਡਾਊਨਲੋਡ ਕਰਨਾ ਸੁਰੱਖਿਅਤ ਹੈ?
ਫ਼ਾਈਲ github.com ਤੋਂ ਡਾਊਨਲੋਡ ਹੁੰਦੀ ਹੈ, ਜੋ ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਆਪਣਾ ਹੈ; ExeAtlas ਫ਼ਾਈਲ ਨੂੰ ਨਾ ਹੋਸਟ ਕਰਦਾ ਹੈ, ਨਾ ਬਦਲਦਾ ਹੈ। ਡਾਊਨਲੋਡ ਕੀਤੀ ਫ਼ਾਈਲ ਦਾ SHA256 ਹੈਸ਼ ਇੱਥੇ ਦਿਖਾਏ ਹੈਸ਼ ਨਾਲ ਮਿਲਾਓ, ਜਾਂ ਉਸ ਹੈਸ਼ ਦੀ VirusTotal ਰਿਪੋਰਟ ਖੋਲ੍ਹੋ।
winget ਨਾਲ Coq ਕਿਵੇਂ ਇੰਸਟਾਲ ਕਰੀਏ?
PowerShell ਜਾਂ Windows Terminal ਖੋਲ੍ਹੋ ਅਤੇ ਇਸ ਪੰਨੇ ਉੱਤੇ ਦਿੱਤੀ winget ਕਮਾਂਡ ਚਲਾਓ। winget ਅਧਿਕਾਰਤ ਇੰਸਟਾਲਰ ਡਾਊਨਲੋਡ ਕਰਦਾ ਹੈ ਅਤੇ ਚਲਾਉਣ ਤੋਂ ਪਹਿਲਾਂ ਉਸ ਦਾ SHA256 ਹੈਸ਼ ਜਾਂਚਦਾ ਹੈ।
ਕੀ Coq ਨੂੰ ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ?
ਹਾਂ। ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ਪੰਨੇ ਉੱਤੇ ਹਰ ਇੰਸਟਾਲਰ ਦੀ ਸਹੀ ਕਮਾਂਡ ਦਿੱਤੀ ਗਈ ਹੈ।
ਕੀ Coq ARM (Windows on Arm) ਉੱਤੇ ਚੱਲਦਾ ਹੈ?
ARM64 ਬਿਲਡ ਨਹੀਂ ਹੈ; Windows 11 on Arm ਉੱਤੇ 64-ਬਿੱਟ ਵਰਜ਼ਨ ਇਮੂਲੇਸ਼ਨ ਰਾਹੀਂ ਚੱਲ ਸਕਦਾ ਹੈ।
Coq ਦਾ ਪੁਰਾਣਾ ਵਰਜ਼ਨ ਕਿੱਥੋਂ ਡਾਊਨਲੋਡ ਕਰੀਏ?
ਵਰਜ਼ਨ ਪੰਨੇ ਉੱਤੇ 21 ਸਤੰਬਰ 2021 ਤੋਂ ਹੁਣ ਤੱਕ ਦੇ ਸਾਰੇ 5 ਵਰਜ਼ਨ ਉਹਨਾਂ ਦੀਆਂ ਅਧਿਕਾਰਤ ਇੰਸਟਾਲਰ ਫ਼ਾਈਲਾਂ ਦੇ ਲਿੰਕਾਂ ਨਾਲ ਦਿੱਤੇ ਗਏ ਹਨ।