Skip to content

feat: demo DFS for graph without explicit adjList structure - #805

Draft
Shreyas4991 wants to merge 2 commits into
leanprover:mainfrom
Shreyas4991:graph_algo_example_2
Draft

feat: demo DFS for graph without explicit adjList structure#805
Shreyas4991 wants to merge 2 commits into
leanprover:mainfrom
Shreyas4991:graph_algo_example_2

Nicer version

2e1ef82
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 15, 2026 in 2s