Coq

Interactive theorem prover and proof assistant.

Coq is one of the most widely used proof assistants, used to formalise the four-colour theorem and the CompCert verified C compiler. It runs on Linux with the CoqIDE GUI and Emacs (Proof General).

License: LGPL-2.1

Category: Language

Website: https://coq.inria.fr/

Install

opam install coq

Previouscontainerd NextCOSMIC Desktop