YHacker Newsscreenshots

front page past explore tools

Front page
Wednesday, 7 August 2024
Coq will be renamed into 'The Rocq Prover'

Screenshot pending…

Coq will be renamed into 'The Rocq Prover'

More from coq.inria.fr →

Points: 46
Comments: 29
Posted: 2024-08-07 by mvelbaum

Screenshots by Urlbox. Free to reuse with a link back. Not affiliated with Y Combinator.