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

  Meet developers and users for discussions, technical questions, collaborative projects and news - https://coq.zulipchat.com

• Discourse

  Discuss with the community, ask questions and share your work on Rocq - https://coq.discourse.group/

• Proof Assistants Stack Exchange

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

Development

• GitHub

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

• Stack Overflow

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

Video

• YouTube

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

Microblogging

• Twitter

  Latest announcements and events from the community - https://twitter.com/CoqLang

• Mastodon

  Both the types.pl and discuss.systems Mastodon servers are home to Rocq-related discussions.