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 Beta ਕੀ ਹੈ?
Coq Beta Windows ਲਈ Coq ਦਾ ਇੱਕ ਓਪਨ ਸੋਰਸ ਪ੍ਰੋਗਰਾਮ ਹੈ। ਇਹ Shell ਵਿੱਚ ਲਿਖਿਆ ਗਿਆ ਹੈ।
ਇੰਸਟਾਲੇਸ਼ਨ ਅਤੇ ਸਿਸਟਮ ਲੋੜਾਂ
64-ਬਿੱਟ ਲਈ ਅਧਿਕਾਰਤ ਇੰਸਟਾਲਰ ਮੌਜੂਦ ਹਨ (EXE (NSIS))। ਇੰਸਟਾਲ ਕਰਦੇ ਸਮੇਂ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰ ਮੰਗੇ ਜਾਂਦੇ ਹਨ। ਇੰਸਟਾਲਰ ਬਿਨਾਂ ਕੋਈ ਸਵਾਲ ਪੁੱਛੇ (ਸਾਈਲੈਂਟ) ਇੰਸਟਾਲੇਸ਼ਨ ਸਪੋਰਟ ਕਰਦਾ ਹੈ।
ਅੱਪਡੇਟ ਅਤੇ ਵਰਜ਼ਨ ਇਤਿਹਾਸ
ਮੌਜੂਦਾ ਵਰਜ਼ਨ 2025.08.3 ਹੈ, ਜੋ 19 ਮਾਰਚ 2026 ਨੂੰ ਰਿਲੀਜ਼ ਹੋਇਆ। 14 ਨਵੰਬਰ 2021 ਤੋਂ ਹੁਣ ਤੱਕ ਦੇ 3 ਵਰਜ਼ਨ ਇੱਥੇ ਦਰਜ ਹਨ, ਹਰ ਇੱਕ ਦੀਆਂ ਆਪਣੀਆਂ ਇੰਸਟਾਲਰ ਫ਼ਾਈਲਾਂ ਦੇ ਲਿੰਕਾਂ ਨਾਲ। ਭਾਵ ਹਰ ਸਾਲ ਲਗਭਗ 0.7 ਰਿਲੀਜ਼ਾਂ।
ਮਸ਼ਹੂਰੀ ਅਤੇ ਫ਼ਾਈਲ ਕਿਸਮਾਂ
GitHub ਉੱਤੇ ਇਸ ਦੇ ਸੋਰਸ ਕੋਡ (rocq-prover/platform) ਨੂੰ 247 ਸਟਾਰ ਮਿਲੇ ਹਨ।
GitHub ਉੱਤੇ ਪ੍ਰੋਜੈਕਟ ਦਾ ਵੇਰਵਾ: “Multi platform setup for Rocq, Rocq libraries and tools”
ਖ਼ੂਬੀਆਂ / ਕਮੀਆਂ
ਖ਼ੂਬੀਆਂ
- ਓਪਨ ਸੋਰਸ: ਕੋਈ ਵੀ ਇਸ ਦਾ ਕੋਡ ਦੇਖ ਅਤੇ ਬਿਲਡ ਕਰ ਸਕਦਾ ਹੈ
- ਦਰਜ ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ
ਕਮੀਆਂ
- ਨੇਟਿਵ ARM64 ਬਿਲਡ ਨਹੀਂ ਹੈ
- ਇੰਸਟਾਲ ਕਰਨ ਲਈ ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਅਧਿਕਾਰ ਚਾਹੀਦੇ ਹਨ
ਸੰਖੇਪ ਵਿੱਚ: Coq Beta 64-ਬਿੱਟ PC ਲਈ ਇੱਕ ਓਪਨ ਸੋਰਸ Windows ਟੂਲ ਹੈ। ਐਡਮਿਨਿਸਟ੍ਰੇਟਰ ਇਸ ਨੂੰ ਯੂਜ਼ਰ ਦੀ ਦਖ਼ਲਅੰਦਾਜ਼ੀ ਤੋਂ ਬਿਨਾਂ (ਅਣਅਟੈਂਡਡ) ਡਿਪਲੌਏ ਕਰ ਸਕਦੇ ਹਨ।
ਕੀ Coq Beta ਡਾਊਨਲੋਡ ਕਰਨਾ ਸੁਰੱਖਿਅਤ ਹੈ?
- ਫ਼ਾਈਲ github.com ਤੋਂ ਆਉਂਦੀ ਹੈ, ਜੋ ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਆਪਣਾ ਡੋਮੇਨ ਹੈ
- ਡਾਊਨਲੋਡ ਲਿੰਕ HTTPS ਵਰਤਦਾ ਹੈ
- SHA256 ਹੈਸ਼ ਪ੍ਰਕਾਸ਼ਿਤ ਹੈ, ਇਸ ਲਈ ਤੁਸੀਂ ਫ਼ਾਈਲ ਦੀ ਜਾਂਚ ਕਰ ਸਕਦੇ ਹੋ:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· ਇਸ ਹੈਸ਼ ਦੀ VirusTotal ਰਿਪੋਰਟ ਖੋਲ੍ਹੋ - ਲਿੰਕ ਅਜੇ ਜਾਂਚਿਆ ਨਹੀਂ ਗਿਆ
- ਸੋਰਸ ਕੋਡ ਜਨਤਕ ਹੈ
- ExeAtlas ਇੰਸਟਾਲਰ ਨੂੰ ਨਾ ਹੋਸਟ ਕਰਦਾ ਹੈ, ਨਾ ਰੈਪ ਕਰਦਾ ਹੈ, ਨਾ ਬਦਲਦਾ ਹੈ
ਸੰਬੰਧਿਤ ਗਾਈਡ: Windows ਉੱਤੇ ਫ਼ਾਈਲ ਦਾ SHA256 ਹੈਸ਼ ਕਿਵੇਂ ਚੈੱਕ ਕਰੀਏ
ਹਾਲੀਆ ਵਰਜ਼ਨ
ਸਾਰੇ 3 ਵਰਜ਼ਨ ›4 ਸਾਲਾਂ ਵਿੱਚ 3 ਵਰਜ਼ਨ · ਹਰ ਸਾਲ ਲਗਭਗ 0.7
| ਵਰਜ਼ਨ | ਤਾਰੀਖ਼ | ਆਕਾਰ | ਫ਼ਾਈਲਾਂ |
|---|---|---|---|
| 2025.08.3ਨਵਾਂ ਵਰਜ਼ਨ | 19 ਮਾਰਚ 2026 | — | 64-ਬਿੱਟ EXE (NSIS) |
| 2025.1.0 | 10 ਫ਼ਰਵਰੀ 2025 | — | 64-ਬਿੱਟ EXE (NSIS) |
| 8.14.0 | 14 ਨਵੰਬਰ 2021 | — | ਕੋਈ ਵੀ CPU EXE (NSIS) |
ਕਮਾਂਡ ਲਾਈਨ ਤੋਂ ਇੰਸਟਾਲ ਕਰੋ
ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /Sਸੰਬੰਧਿਤ ਗਾਈਡ: winget ਕਿਵੇਂ ਵਰਤੀਏ: ਐਪਾਂ ਇੰਸਟਾਲ ਅਤੇ ਅੱਪਡੇਟ ਕਰੋ
ਜਾਣਕਾਰੀ
- ਪ੍ਰਕਾਸ਼ਕ
- Coq
- ਲਾਇਸੈਂਸ
- CC0-1.0
- ਕੀਮਤ
- ਮੁਫ਼ਤ
- ਸੋਰਸ ਕੋਡ
- github.com/rocq-prover/platform
- ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ
- Shell
- ਲੋੜੀਂਦਾ ਸਿਸਟਮ
- Windows 11 / 10
- ਆਰਕੀਟੈਕਚਰ
- 64-ਬਿੱਟ
- ਇੰਸਟਾਲਰ
- EXE (NSIS)
- ਵਰਜ਼ਨ
- 2025.08.3
- ਰਿਲੀਜ਼
- 19 ਮਾਰਚ 2026
- ਕੈਟਾਲਾਗ ਵਿੱਚ ਜੋੜੀ ਗਈ
- 14 ਨਵੰਬਰ 2021
- ਦਰਜ ਵਰਜ਼ਨ
- 3
- ਅੱਪਡੇਟ / ਸਾਲ
- 0.7
- GitHub ਸਟਾਰ
- 247
- GitHub ਫ਼ੋਰਕ
- 56
- ਵੈੱਬਸਾਈਟ
- github.com
- winget ID
- Coq.CoqPlatform.Beta
ਰੇਟਿੰਗ ਅਤੇ ਰਿਵਿਊ
ਅਜੇ ਕੋਈ ਰਿਵਿਊ ਨਹੀਂ ਹੈ। ਸਭ ਤੋਂ ਪਹਿਲਾਂ ਰੇਟਿੰਗ ਦਿਓ।
ਅਕਸਰ ਪੁੱਛੇ ਜਾਣ ਵਾਲੇ ਸਵਾਲ
ਕੀ Coq Beta ਮੁਫ਼ਤ ਹੈ?
ਹਾਂ। Coq Beta ਓਪਨ ਸੋਰਸ ਸਾਫ਼ਟਵੇਅਰ ਹੈ (CC0-1.0 ਲਾਇਸੈਂਸ)।
ਕੀ Coq Beta ਡਾਊਨਲੋਡ ਕਰਨਾ ਸੁਰੱਖਿਅਤ ਹੈ?
ਫ਼ਾਈਲ github.com ਤੋਂ ਡਾਊਨਲੋਡ ਹੁੰਦੀ ਹੈ, ਜੋ ਪ੍ਰਕਾਸ਼ਕ ਦਾ ਆਪਣਾ ਹੈ; ExeAtlas ਫ਼ਾਈਲ ਨੂੰ ਨਾ ਹੋਸਟ ਕਰਦਾ ਹੈ, ਨਾ ਬਦਲਦਾ ਹੈ। ਡਾਊਨਲੋਡ ਕੀਤੀ ਫ਼ਾਈਲ ਦਾ SHA256 ਹੈਸ਼ ਇੱਥੇ ਦਿਖਾਏ ਹੈਸ਼ ਨਾਲ ਮਿਲਾਓ, ਜਾਂ ਉਸ ਹੈਸ਼ ਦੀ VirusTotal ਰਿਪੋਰਟ ਖੋਲ੍ਹੋ।
winget ਨਾਲ Coq Beta ਕਿਵੇਂ ਇੰਸਟਾਲ ਕਰੀਏ?
PowerShell ਜਾਂ Windows Terminal ਖੋਲ੍ਹੋ ਅਤੇ ਇਸ ਪੰਨੇ ਉੱਤੇ ਦਿੱਤੀ winget ਕਮਾਂਡ ਚਲਾਓ। winget ਅਧਿਕਾਰਤ ਇੰਸਟਾਲਰ ਡਾਊਨਲੋਡ ਕਰਦਾ ਹੈ ਅਤੇ ਚਲਾਉਣ ਤੋਂ ਪਹਿਲਾਂ ਉਸ ਦਾ SHA256 ਹੈਸ਼ ਜਾਂਚਦਾ ਹੈ।
ਕੀ Coq Beta ਨੂੰ ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ?
ਹਾਂ। ਸਾਈਲੈਂਟ ਇੰਸਟਾਲ ਪੰਨੇ ਉੱਤੇ ਹਰ ਇੰਸਟਾਲਰ ਦੀ ਸਹੀ ਕਮਾਂਡ ਦਿੱਤੀ ਗਈ ਹੈ।
ਕੀ Coq Beta ARM (Windows on Arm) ਉੱਤੇ ਚੱਲਦਾ ਹੈ?
ARM64 ਬਿਲਡ ਨਹੀਂ ਹੈ; Windows 11 on Arm ਉੱਤੇ 64-ਬਿੱਟ ਵਰਜ਼ਨ ਇਮੂਲੇਸ਼ਨ ਰਾਹੀਂ ਚੱਲ ਸਕਦਾ ਹੈ।
Coq Beta ਦਾ ਪੁਰਾਣਾ ਵਰਜ਼ਨ ਕਿੱਥੋਂ ਡਾਊਨਲੋਡ ਕਰੀਏ?
ਵਰਜ਼ਨ ਪੰਨੇ ਉੱਤੇ 14 ਨਵੰਬਰ 2021 ਤੋਂ ਹੁਣ ਤੱਕ ਦੇ ਸਾਰੇ 3 ਵਰਜ਼ਨ ਉਹਨਾਂ ਦੀਆਂ ਅਧਿਕਾਰਤ ਇੰਸਟਾਲਰ ਫ਼ਾਈਲਾਂ ਦੇ ਲਿੰਕਾਂ ਨਾਲ ਦਿੱਤੇ ਗਏ ਹਨ।