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 వెర్షన్లు, వాటి అధికారిక ఇన్‌స్టాలర్ ఫైల్‌ల లింక్‌లతో ఉన్నాయి.