Def depthFirst

Modification history

2025-03-04 03:24

Mathlib/Data/MLList/DepthFirst.lean

chore: remove >6 month old deprecations (#22473)

Deleted depthFirst View on Github →

2023-04-18 11:25

Mathlib/Data/ListM/DepthFirst.lean

feat: depth first and best first search using ListM (#3221) …

Added depthFirst View on Github →