Atlas Graph Explorer
Wiki
Graph
Edges
Home
Language
language:coq
Coq
language:coq
Language
domain/languages/coq.yaml
·
Open in Graph →
overview
json
graph
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
(0)
None.
Incoming edges
(0)
None.