Get the latest tech news

Coq theorem prover is now called Rocq

Rocq is a mature, dependently-typed functional programming language and interactive theorem prover. Learn more about its rich history.

None

Get the Android app