Coq Beta
Coq
System & Utilities
0.0
|
85,896 Downloads
|
—
What's New
Version 2025.08.3
No changelog available yet.
Description
The Rocq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs.
Download
winget install Coq.CoqPlatform.Beta
