II.
Language overview
Reference · livelanguage:coq
Coq overview
Coq (now also known as Rocq) — a formal proof management system based on the Calculus of Inductive Constructions, used for verified software and mathematical proofs.
Attributes
displayName
Coq
paradigms
- functional
- dependently-typed
- proof-assistant
description
Coq (now also known as Rocq) — a formal proof management system based
on the Calculus of Inductive Constructions, used for verified
software and mathematical proofs.
Outgoing edges
applies_to2
- domain:computer-science·DomainComputer Science
- domain:mathematics·DomainMathematics
Incoming edges
None.