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 என்பது The Coq Team வெளியிடும் ஓப்பன் சோர்ஸ் Windows மென்பொருள். இது Shell மொழியில் எழுதப்பட்டுள்ளது.
நிறுவலும் தேவைகளும்
64-பிட் கணினிகளுக்கான அதிகாரப்பூர்வ நிறுவிகள் உள்ளன (EXE (NSIS)). நிறுவும்போது நிர்வாகி (Administrator) உரிமைகள் கேட்கப்படும். பயனர் தலையீடு இல்லாத (சைலண்ட்) நிறுவலை இதன் நிறுவி ஆதரிக்கிறது.
புதுப்பிப்புகளும் பதிப்பு வரலாறும்
தற்போதைய பதிப்பு 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-பிட் கணினிகளுக்கான ஓப்பன் சோர்ஸ் 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 பழைய பதிப்பை எங்கே பதிவிறக்கம் செய்வது?
பதிப்புகள் பக்கத்தில் அனைத்து 5 பதிப்புகளும் (21 செப்டம்பர், 2021 முதல்) அவற்றின் அதிகாரப்பூர்வ நிறுவிக் கோப்புகளுக்கான இணைப்புகளுடன் உள்ளன.