several theorems about graphs#125

Merged

muenchnerkindl merged 16 commits into

Jul 18, 2026

Commits on Jul 1, 2026

Commits on Jul 2, 2026

rename proofs module so that it will be picked up by CI
muenchnerkindl
committed
fix two proof steps that appear to be shaky in the CI check
muenchnerkindl
committed

Commits on Jul 9, 2026

Add tests for Graphs SimplePath, AreConnectedIn and IsStronglyConnected

lemmy
and
claude
committed
Add Graphs module overrides for SimplePath, AreConnectedIn and IsStronglyConnected

lemmy
and
claude
committed

Commits on Jul 15, 2026

align undirected graphs with changes in directed graphs
muenchnerkindl
committed

Commits on Jul 17, 2026

Commits on Jul 18, 2026