Get the latest tech news
Coq will be renamed into 'The Rocq Prover'
Welcome! Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Its development is largely supported by Inria, a French public computer science institute, but anyone can follow and participate in the process on GitHub. You can contribute to the development of Coq by reporting bugs, suggesting enhancements, submitting pull requests, improving the documentation and in many other ways. Academic and industrial users are also encouraged to contribute financially to support the maintenance and evolution of Coq and its ecosystem through the Coq Consortium.
Or read this on Hacker News