Tech article

Coq theorem prover is now called Rocq

Latest tech news from Hacker News on NeuralNews: Coq theorem prover is now called Rocq.

Hacker News | Apr 15, 2026 | rwmj

Read the original article