## directed graph

graph with oriented edges

ProofWiki: Definition:Directed_GraphMathWorld: DirectedGraph

Wikipedia (English): Directed_graph

Wikidata: directed graph

Agda Unimath: directed graph structure

**mathswitch** — infrastructure for relaying and exchanging mathematical concepts

graph with oriented edges

ProofWiki: Definition:Directed_GraphMathWorld: DirectedGraph

Wikipedia (English): Directed_graph

Wikidata: directed graph

Agda Unimath: directed graph structure