FileCart

Coq Platform 2026.07.0

Formal proof management system

filecart Mac Updated Oct 13, 2026
Download 672.29 MB
42downloads
17this week
FreeLicense
0reviews

About Coq Platform

Formal proof management system
Release info Update on Jul 30, 2026
Release notes Recommended binary installers
• Windows (64-bit) installer for Rocq 9.1.0
• macOS (ARM) installer for Rocq 9.1.0

Note: Snap is no longer supported (a replacement is in progress).

General information
See README for general information and installation of Rocq Platform.
See Charter for the concept and goals of Rocq Platform.
See CEP52 for the Rocq and Rocq Platform release cycle.
See macOS, Linux and Windows for detailed installation and usage instructions.

Major enhancements
None.

Changelog
• feat: new version of package pick 9.1 (be95c16)
• fix: sanitize invalid unicode character in coq-gappa file paths on Windows (9.1) (8572215)
• doc: bump version in README files (1df857f)
• feat: prepare release 9.1; change switch name CP to RP; update packages (a659475)
• fix: solved ci bug on META file (63a9d16)
• feat: bump version of coq-deriving to 0.2.3 (af75eb8)
• feat: bump version of rocq-iris, rocq-iris-heap-lang to 4.5.0 and rocq-stdpp to 1.13.0 (a3b1f9c)
• fix: add archive ocaml repos fot 8.12 / 8.13 on Ubuntu (e5c5446)
• feat: bump version of rocq-elpi to 3.4.0 and elpi to 3.7.1 (dd43de4)
• fix: resolve checksum error about coq-simple-io (6b722e8)
• rollback version for elpi and rocq-elpi (34ec70f)
• version unimath 20260603 (483a5c8)
• bump version mtac2 to 9.1 (4f0d0fc)
• compcert and vst available in package_pick file (9ca6ca1)

Included Versions of Coq

Recommended Rocq version
• Rocq 9.1.0 with the first package collection from January 2026

Compatibility Coq versions
The compatibility versions are intended to help porting packages from an older to the latest release. They can be installed in parallel with other versions of Coq (Coq Platform will create separate opam switches for each Coq version).
• Rocq 9.0.1 with the first package collection from August 2025
• Coq 8.20.1 with the first package collection from January 2025
• Coq 8.19.2 with the first package collection from October 2024
• Coq 8.18.0 with the first package collection from November 2023
•…
Listing dataHomebrew Cask

Reviews

No reviews yet. Be the first to review Coq Platform.

Used Coq Platform? Tell other visitors what you thought.

Log in to write a review

Other products by this publisher

Most viewed Mac Miscellaneous

  1. 1 OpenChamber 2.7.1 Desktop and web interface for OpenCode AI agent 156
  2. 2 SwiftDefaultApps 2.0.1 Replacement for RCDefaultApps, written in Swift 129
  3. 3 OpenClaw 2026.11.3 Personal AI assistant 110
  4. 4 A Better Finder Attributes 7.55 File and photo tweaking tool 94
  5. 5 AgentsView 0.47.0 Browse, search and analyse your past AI coding sessions 85
  6. 6 Yap 0.1.16 On-device voice dictation 81
  7. 7 86Box 6.0 Emulator of x86-based machines based on PCem 78
  8. 8 Craft Agents 0.15.9 AI assistant for connecting and working across data sources 78
  9. 9 5ire 0.15.4 AI assistant and MCP client 76
  10. 10 Taphouse 1.5.9.2 Native GUI for Homebrew package management 76

Most downloaded Mac Miscellaneous

  1. 1 86Box 6.0 Emulator of x86-based machines based on PCem 67
  2. 2 WaveForms 3.25.1 Virtual instrument suite for Digilent Test and Measurement devices 65
  3. 3 Whalebird 6.3.1 Mastodon, Pleroma, and Misskey client 63
  4. 4 p2p.kiwi 3.10.0 Cross-platform screen sharing tool 62
  5. 5 Scribus 1.6.7 Free and open-source page layout program 62
  6. 6 Send to Kindle 1.1.1.259 Tool for sending personal documents to Kindles from Macs 59
  7. 7 Logseq OG 1.0.0 Privacy-first, open-source platform for knowledge sharing and management 57
  8. 8 Submariner 3.4 Subsonic client 57
  9. 9 gretl 2026c Software package for econometric analysis 56
  10. 10 Yaak Beta 2026.10.0-beta.2 REST, GraphQL and gRPC client 56