The Rocq Community

Rocq on the internet

Join Our Communities!

Ask and answer questions, share and discuss Rocq-related articles and posts, let people know about your projects and find collaborators

Discussion

• Zulip

  Casual and high traffic discussions on the Rocq Prover, and ecosystem projects - https://coq.zulipchat.com

• Discourse

  Anouncements and questions in English, Chinese, Spanish, French, German and Russian - https://coq.discourse.group/

• Proof Assistants Stack Exchange

  Ask and help answer Rocq questions - https://proofassistants.stackexchange.com/questions/tagged/coq

• Stack Overflow and other Stack Exchange sites

  Follow Rocq questions accross all Stack Exchange sites with this RSS feed - https://stackexchange.com/filters/299857/questions-tagged-coq-on-stackexchange-sites

Development

• GitHub

  Submit bug reports and feature requests for the Rocq Prover - https://github.com/rocq-prover/rocq/issues

• Rocq-community

  Participate in the collaborative maintenance of ecosystem packages - https://github.com/coq-community/manifesto

Video

• YouTube

  Rocq on YouTube - https://www.youtube.com/results?search_query=Coq

Microblogging

• Mastodon

  The Rocq Prover on Mastodon - https://mastodon.acm.org/@RocqProver