Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community

All Rooms

9 Rooms 418 People
  • coq

    Go to https://coq.zulipchat.com/ or https://coq.discourse.group/
    299 People
  • metacoq

    The MetaCoq Project https://metacoq.github.io
    26 People
  • CIW2018

    19 People
  • CUDW2019

    Welcome to the Coq Users and Developers Workshop 2019!
    19 People
  • Equations

    Dev & users channel mattam82.github.io/Coq-Equations
    18 People
  • Sphinxing

    This room is not used anymore. Use the main coq/coq room instead.
    14 People
  • stdlib2

    This Gitter chat is closed. Please go to https://coq.zulipchat.com instead.
    12 People
  • opam-bench-reports

    7 People
  • certicoq

    4 People