User interfaces

Editor-support packages

Coq projects can be developed with a variety of editors thanks to great support provided through user-contributed extensions. Here, we list such support extensions that are actively used and maintained:

Standalone interfaces

Alternatively, you can use CoqIDE, a standalone desktop application which is developed and distributed alongside Coq.

As a way to try Coq without installing anything, you can use JsCoq. JsCoq loads Coq entirely in your browser.

Experimental or discontinued interfaces

There have been many experiments over the years. Here are some additional user interfaces that are still at the experimental level or whose maintenance has been discontinued or is currently uncertain: