feat: basic graph definitions - #503

Open

BasilRohner wants to merge 20 commits into

leanprover:mainfrom

BasilRohner:main

Commits on Apr 18, 2026

feat: define notions of graphs, walks, cycles and paths
BasilRohner
committed
5b021d4
updates
BasilRohner
committed
a4e1312
only graph
BasilRohner
committed
e7d08db
fixed
BasilRohner
committed
d12c198
changes
BasilRohner
committed
892dae8
removed unfinished code
BasilRohner
committed
48ac00d
Delete flake.lock
BasilRohner
authored
48e7aea
Delete flake.nix
BasilRohner
authored
9449caf

Commits on Apr 19, 2026

removed hypergraphs
BasilRohner
committed
dafe8b4
Merge branch 'main' of github.com:BasilRohner/cslib
BasilRohner
committed
c6d777e
fixes
BasilRohner
committed
ba8b1b2

Commits on May 5, 2026

address review feedback
BasilRohner
committed
763858b

Commits on May 29, 2026

address reviewer feedback
BasilRohner
committed
5f8b329
Merge branch 'leanprover:main' into main
BasilRohner
authored
6429c18
move Graph/Graph.lean into Foundations/Combinatorics
BasilRohner
committed
d3a0eec
Merge branch 'main' of github.com:BasilRohner/cslib
BasilRohner
committed
81729a5
Small fix
BasilRohner
committed
6d19bc3
add changes
BasilRohner
committed
24e8209

Commits on Aug 10, 2026

Merge branch 'leanprover:main' into main
BasilRohner
authored
355d171
move graph definition to Cslib/Algorithms/Graph
BasilRohner
committed
e0a79a4