Is Coq down?

NO

Current Coq status

Status Up
Up
Alternatives
Info & Reviews

Coq Status Details

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
This is an unofficial Coq status page
Coq's website is at coq.inria.fr
Check out our list of Coq alternatives

Community feedback on Coq's status

Log in or Post with

Coq Alternatives

  1. /agda-alternatives

    Agda

    ↔ Coq

    Agda is a dependently typed functional programming language. It has inductive families, i.e.

    Open Source

  2. /isabelle-alternatives

    Isabelle

    ↔ Coq

    Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

  3. /lean-alternatives

    Lean

    ↔ Coq

    Clean up your Live Photos

  4. /racket-lang-alternatives

    Racket Lang

    ↔ Coq

    Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...

    Open Source

  5. /idris-alternatives

    Idris

    ↔ Coq

    Programming, Programming Language, Learning Resources, Languages, and Frontend Development

    Open Source

  6. /haskell-alternatives

    Haskell

    ↔ Coq

    An advanced purely-functional programming language

    Open Source

  7. /hy-alternatives

    Hy

    ↔ Coq

    Hy is a wonderful dialect of Lisp that’s embedded in Python.


» All Coq alternatives

Related status pages

Agda status · Isabelle status · Lean status · Racket Lang status · Idris status · Haskell status · Hy status ·

SaaSHub's Down Detector checks the status of services automatically and regularly. However, we cannot promise 100% accuracy. That is why we depend on user reported issues as well. The Coq status here can help you determine if there is a global outage and Coq is down for everyone or if it is just you who is experiencing problems. Please report any issues to help others know the current status.

Loading...