Skip to content

feat: basic graph definitions - #503

Open
BasilRohner wants to merge 20 commits into
leanprover:mainfrom
BasilRohner:main
Open

feat: basic graph definitions#503
BasilRohner wants to merge 20 commits into
leanprover:mainfrom
BasilRohner:main

move graph definition to Cslib/Algorithms/Graph

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