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