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-bit σε μορφή EXE (NSIS). Η εγκατάσταση ζητά δικαιώματα διαχειριστή. Το αρχείο εγκατάστασης υποστηρίζει εγκατάσταση χωρίς επίβλεψη (αθόρυβη).
Ενημερώσεις και ιστορικό εκδόσεων
Η τρέχουσα έκδοση είναι η 2025.08.3 (κυκλοφορία: 9 Απριλίου 2026). Καταγράφονται 5 εκδόσεις από τις 21 Σεπτεμβρίου 2021, η καθεμία με συνδέσμους προς τα δικά της αρχεία εγκατάστασης. Αυτό αντιστοιχεί σε περίπου 1,1 κυκλοφορίες τον χρόνο.
Δημοτικότητα και τύποι αρχείων
Ο πηγαίος κώδικας στο GitHub (rocq-prover/platform) έχει 247 αστέρια.
Περιγραφή του έργου στο GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Πλεονεκτήματα / Μειονεκτήματα
Πλεονεκτήματα
- Ανοιχτός κώδικας: ο καθένας μπορεί να τον ελέγξει και να τον μεταγλωττίσει
- Τεκμηριωμένη αθόρυβη εγκατάσταση
Μειονεκτήματα
- Δεν υπάρχει εγγενής έκδοση ARM64
- Η εγκατάσταση απαιτεί δικαιώματα διαχειριστή
Συνοπτικά: Το Coq είναι εργαλείο ανοιχτού κώδικα για Windows για υπολογιστές 64-bit. Οι διαχειριστές συστημάτων μπορούν να το εγκαταστήσουν χωρίς επίβλεψη.
Είναι ασφαλής η λήψη του Coq;
- Το αρχείο διατίθεται από το github.com, τον τομέα του ίδιου του εκδότη
- Ο σύνδεσμος λήψης χρησιμοποιεί HTTPS
- Δημοσιεύεται hash SHA256, οπότε μπορείτε να επαληθεύσετε το αρχείο:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Άνοιγμα της αναφοράς VirusTotal για αυτό το hash - Ο σύνδεσμος δεν έχει ελεγχθεί ακόμη
- Ο πηγαίος κώδικας είναι δημόσιος
- Το ExeAtlas δεν φιλοξενεί, δεν τυλίγει και δεν τροποποιεί αρχεία εγκατάστασης
Σχετικός οδηγός: Έλεγχος SHA256 αρχείου στα Windows
Πρόσφατες εκδόσεις
Και οι 5 εκδόσεις ›5 εκδόσεις σε 5 έτη · περίπου 1,1 τον χρόνο
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 2025.08.3Τελευταία | 9 Απριλίου 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19 Φεβρουαρίου 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17 Φεβρουαρίου 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28 Ιανουαρίου 2022 | — | Οποιοσδήποτε επεξεργαστής EXE (NSIS) |
| 8.13.2 | 21 Σεπτεμβρίου 2021 | — | Οποιοσδήποτε επεξεργαστής 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-bit
- Αρχείο εγκατάστασης
- EXE (NSIS)
- Έκδοση
- 2025.08.3
- Κυκλοφορία
- 9 Απριλίου 2026
- Προστέθηκε στον κατάλογο
- 21 Σεπτεμβρίου 2021
- Καταγεγραμμένες εκδόσεις
- 5
- Ενημερώσεις / έτος
- 1,1
- Αστέρια GitHub
- 247
- Forks στο GitHub
- 56
- Ιστότοπος
- github.com
- Αναγνωριστικό winget
- Coq.CoqPlatform
Βαθμολογίες και κριτικές
Δεν υπάρχουν ακόμη κριτικές. Γίνετε οι πρώτοι που θα βαθμολογήσουν.
Συχνές ερωτήσεις
Είναι δωρεάν το Coq;
Ναι. Το Coq είναι λογισμικό ανοιχτού κώδικα με άδεια CC0-1.0 και η λήψη και η χρήση του είναι δωρεάν.
Είναι ασφαλής η λήψη του Coq;
Το αρχείο κατεβαίνει από το github.com, που ανήκει στον εκδότη· το ExeAtlas δεν φιλοξενεί ούτε τροποποιεί το αρχείο. Συγκρίνετε το hash SHA256 του αρχείου με αυτό που εμφανίζεται εδώ ή ανοίξτε την αναφορά VirusTotal για αυτό το hash.
Πώς εγκαθίσταται το Coq με το winget;
Ανοίξτε το PowerShell ή το Windows Terminal και εκτελέστε την εντολή winget που εμφανίζεται σε αυτή τη σελίδα. Το winget κατεβάζει το επίσημο αρχείο εγκατάστασης και ελέγχει το hash SHA256 πριν το εκτελέσει.
Υποστηρίζει το Coq αθόρυβη εγκατάσταση;
Ναι. Η σελίδα αθόρυβης εγκατάστασης δίνει την ακριβή εντολή για κάθε αρχείο εγκατάστασης.
Λειτουργεί το Coq σε ARM (Windows on Arm);
Δεν υπάρχει έκδοση ARM64· τα Windows 11 on Arm μπορούν να εκτελέσουν την έκδοση 64-bit μέσω εξομοίωσης.
Πού μπορώ να κατεβάσω παλαιότερη έκδοση του Coq;
Η σελίδα εκδόσεων περιλαμβάνει και τις 5 εκδόσεις με συνδέσμους προς τα επίσημα αρχεία εγκατάστασης, από τις 21 Σεπτεμβρίου 2021 και μετά.