Tarjan
📁 Source: Mathlib/Tactic/Order/Graph/Tarjan.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsTarjanState, id, lowlink, onStack, stack, time, toDFSState, findSCCs, findSCCsImp, tarjanDFS | 10 |
| Theorems | 0 |
| Total | 10 |
Mathlib.Tactic.Order.Graph
Definitions
| Name | Category | Theorems |
|---|---|---|
TarjanState 📖 | CompData | — |
findSCCs 📖 | CompOp | — |
findSCCsImp 📖 | CompOp | — |
tarjanDFS 📖 | CompOp | — |
Mathlib.Tactic.Order.Graph.TarjanState
Definitions
| Name | Category | Theorems |
|---|---|---|
id 📖 | CompOp | — |
lowlink 📖 | CompOp | — |
onStack 📖 | CompOp | — |
stack 📖 | CompOp | — |
time 📖 | CompOp | — |
toDFSState 📖 | CompOp | — |
---