Coq
The Coq Team
System & Utilities
0.0
|
85,968 Downloads
|
—
What's New
Version 8.14.1
No changelog available yet.
Description
The Rocq Prover is an interactive theorem prover first released in 1989. It allows the expression of mathematical assertions, mechanical checking of proofs of these assertions, assists in finding formal proofs using proof automation routines and extraction of a certified program from the
Download
winget install Coq.CoqPlatform
